diff options
Diffstat (limited to 'src/pretty_print.ml')
| -rw-r--r-- | src/pretty_print.ml | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/pretty_print.ml b/src/pretty_print.ml index 9e312242..6ecf2be1 100644 --- a/src/pretty_print.ml +++ b/src/pretty_print.ml @@ -3109,6 +3109,7 @@ let pp_defs_lem (types_file,types_modules) (prompt_file,prompt_modules) (state_f concat [(separate_map hardline) (fun lib -> separate space [string " import";string lib]) ["Interp";"Interp_ast"]; + string "open import Deep_shallow_convert"; hardline; hardline; string "module SI = Interp"; hardline; |