From 48266097a2ffc005bb6005328e7ea1e52df904eb Mon Sep 17 00:00:00 2001
From: Jon French
Date: Mon, 4 Mar 2019 16:14:15 +0000
Subject: Marshalling: remove prover before marshalling

---
 src/sail.ml | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'src')

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
-- 
cgit v1.2.3