diff options
Diffstat (limited to 'src/sail.ml')
| -rw-r--r-- | src/sail.ml | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/sail.ml b/src/sail.ml index cf366d42..dbc0eff4 100644 --- a/src/sail.ml +++ b/src/sail.ml @@ -158,6 +158,7 @@ let main() = else ()); (if !(opt_print_ocaml) then let ast_ocaml = rewrite_ast_ocaml ast in + print_endline "Finished re-writing 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] |