Marshalling: remove prover before marshalling

1 files changed, 2 insertions, 2 deletions

diff --git a/src/sail.ml b/src/sail.ml
index eb25f56d..d97cbd22 100644
--- a/src/sail.ml
+++ b/src/sail.ml
@@ -487,10 +487,10 @@ let main() =
       (if !(opt_marshal_defs)
        then
          begin
-           let ast_marshal = rewrite_ast_ocaml type_envs ast in
+           let ast_marshal = rewrite_ast_interpreter type_envs ast in
            let out_filename = match !opt_file_out with None -> "out" | Some s -> s in
            let f = open_out_bin (out_filename ^ ".defs") in
-           Marshal.to_string ast_marshal [Marshal.No_sharing; Marshal.Compat_32]
+           Marshal.to_string (ast_marshal, Type_check.Env.set_prover None type_envs) [Marshal.No_sharing; Marshal.Compat_32]
            |> B64.encode
            |> output_string f;
            close_out f