diff options
Diffstat (limited to 'src/tac2stdlib.ml')
| -rw-r--r-- | src/tac2stdlib.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/tac2stdlib.ml b/src/tac2stdlib.ml index 713a5f1b1c..79af41b7d0 100644 --- a/src/tac2stdlib.ml +++ b/src/tac2stdlib.ml @@ -18,7 +18,7 @@ module Value = Tac2ffi let return x = Proofview.tclUNIT x let v_unit = Value.of_unit () -let thaw bt f = Tac2interp.interp_app bt f [v_unit] +let thaw bt f = Tac2interp.interp_app bt (Value.to_closure f) [v_unit] let to_pair f g = function | ValBlk (0, [| x; y |]) -> (f x, g y) |