diff options
Diffstat (limited to 'src/sail.ml')
| -rw-r--r-- | src/sail.ml | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/src/sail.ml b/src/sail.ml index 53a5cc5d..38d4c2e8 100644 --- a/src/sail.ml +++ b/src/sail.ml @@ -457,13 +457,13 @@ let target name out_name ast type_envs = | None -> () | Some "sail" -> - Pretty_print_sail.pp_defs stdout ast + Pretty_print_sail.pp_ast stdout ast | Some "ocaml" -> let ocaml_generator_info = match !opt_ocaml_generators with | [] -> None - | _ -> Some (Ocaml_backend.orig_types_for_ocaml_generator ast, !opt_ocaml_generators) + | _ -> Some (Ocaml_backend.orig_types_for_ocaml_generator ast.defs, !opt_ocaml_generators) in let out = match !opt_file_out with None -> "out" | Some s -> s in Ocaml_backend.ocaml_compile out ast ocaml_generator_info @@ -481,7 +481,7 @@ let target name out_name ast type_envs = else (l, Type_check.replace_env (Type_check.Env.set_prover None (Type_check.env_of_tannot tannot)) tannot) in - Marshal.to_string (Ast_util.map_defs_annot remove_prover ast, Type_check.Env.set_prover None type_envs) [Marshal.Compat_32] + Marshal.to_string (Ast_util.map_ast_annot remove_prover ast, Type_check.Env.set_prover None type_envs) [Marshal.Compat_32] |> Base64.encode_string |> output_string f; close_out f |