diff options
Diffstat (limited to 'src/sail.ml')
| -rw-r--r-- | src/sail.ml | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/src/sail.ml b/src/sail.ml index 89f7c44c..0f84db9f 100644 --- a/src/sail.ml +++ b/src/sail.ml @@ -158,11 +158,13 @@ let main() = else ()); (if !(opt_print_ocaml) then let ast_ocaml = rewrite_ast_ocaml ast in - Pretty_print_sail.pp_defs stdout ast_ocaml; - Ocaml_backend.ocaml_pp_defs stdout ast_ocaml; + (* Pretty_print_sail.pp_defs stdout ast_ocaml; *) + Ocaml_backend.ocaml_pp_defs stdout ast_ocaml; + (* if !(opt_libs_ocaml) = [] then output "" (Ocaml_out None) [out_name,ast_ocaml] else output "" (Ocaml_out (Some (List.hd !opt_libs_ocaml))) [out_name,ast_ocaml] + *) else ()); (if !(opt_print_lem) then let ast_lem = rewrite_ast_lem ast in |