diff options
Diffstat (limited to 'src/tac2ffi.ml')
| -rw-r--r-- | src/tac2ffi.ml | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/tac2ffi.ml b/src/tac2ffi.ml index 7960d4d45f..923a29e5c5 100644 --- a/src/tac2ffi.ml +++ b/src/tac2ffi.ml @@ -329,6 +329,7 @@ let reference = { type ('a, 'b) fun1 = closure let fun1 (r0 : 'a repr) (r1 : 'b repr) : ('a, 'b) fun1 repr = closure +let to_fun1 r0 r1 f = to_closure f let rec apply : type a. a arity -> a -> valexpr list -> valexpr Proofview.tactic = fun arity f args -> match args, arity with |