diff options
Diffstat (limited to 'src/process_file.ml')
| -rw-r--r-- | src/process_file.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/process_file.ml b/src/process_file.ml index aea53ca7..b95d54f7 100644 --- a/src/process_file.ml +++ b/src/process_file.ml @@ -245,7 +245,7 @@ let rewrite_step defs (name,rewriter) = let filename = f ^ "_rewrite_" ^ string_of_int i ^ "_" ^ name ^ ".sail" in output "" Lem_ast_out [filename, defs]; let ((ot,_, _) as ext_ot) = open_output_with_check_unformatted filename in - Pretty_print_sail.pp_defs ot defs; + Pretty_print_sail2.pp_defs ot defs; close_output_with_check ext_ot; opt_ddump_rewrite_ast := Some (f, i + 1) end |