diff options
| -rw-r--r-- | contrib/extraction/ocaml.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/contrib/extraction/ocaml.ml b/contrib/extraction/ocaml.ml index e519366525..1d6b403723 100644 --- a/contrib/extraction/ocaml.ml +++ b/contrib/extraction/ocaml.ml @@ -478,7 +478,7 @@ let pp_decl mp = (str "let " ++ if is_custom r then e ++ str " = " ++ str (find_custom r) - else if is_projection r then e ++ str " x = x." ++ e ++ fnl () + else if is_projection r then e ++ str " x = x." ++ e else pp_function (empty_env ()) e a) | Dfix (rv,defs,typs) -> pp_Dfix true 0 (rv,defs,typs) |