diff options
| author | Chris Lattner <sabre@nondot.org> | 2010-01-24 00:25:09 +0000 |
|---|---|---|
| committer | Chris Lattner <sabre@nondot.org> | 2010-01-24 00:25:09 +0000 |
| commit | dd7da4f368c7e1139ef78f36ef173a8b8f8f1c61 (patch) | |
| tree | 84ea62540055490cf4dc78b46144770202475098 /bindings | |
| parent | 6fb474bd3c3e291973ae8e087787090cf2be73f8 (diff) | |
This corrects an error in the type of the Llvm.dispose_context function.
Patch by James Woodyatt!
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@94343 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'bindings')
| -rw-r--r-- | bindings/ocaml/llvm/llvm.ml | 2 | ||||
| -rw-r--r-- | bindings/ocaml/llvm/llvm.mli | 2 |
2 files changed, 2 insertions, 2 deletions
diff --git a/bindings/ocaml/llvm/llvm.ml b/bindings/ocaml/llvm/llvm.ml index 25e47ab5e2..4539098aa0 100644 --- a/bindings/ocaml/llvm/llvm.ml +++ b/bindings/ocaml/llvm/llvm.ml @@ -144,7 +144,7 @@ type ('a, 'b) llrev_pos = (*===-- Contexts ----------------------------------------------------------===*) external create_context : unit -> llcontext = "llvm_create_context" -external dispose_context : unit -> llcontext = "llvm_dispose_context" +external dispose_context : llcontext -> unit = "llvm_dispose_context" external global_context : unit -> llcontext = "llvm_global_context" (*===-- Modules -----------------------------------------------------------===*) diff --git a/bindings/ocaml/llvm/llvm.mli b/bindings/ocaml/llvm/llvm.mli index c703ef7fbf..719df430fa 100644 --- a/bindings/ocaml/llvm/llvm.mli +++ b/bindings/ocaml/llvm/llvm.mli @@ -214,7 +214,7 @@ external create_context : unit -> llcontext = "llvm_create_context" (** [destroy_context ()] destroys a context. See the destructor [llvm::LLVMContext::~LLVMContext]. *) -external dispose_context : unit -> llcontext = "llvm_dispose_context" +external dispose_context : llcontext -> unit = "llvm_dispose_context" (** See the function [llvm::getGlobalContext]. *) external global_context : unit -> llcontext = "llvm_global_context" |