diff options
Diffstat (limited to 'src/pretty_print.ml')
| -rw-r--r-- | src/pretty_print.ml | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/src/pretty_print.ml b/src/pretty_print.ml index 442c368b..e827320b 100644 --- a/src/pretty_print.ml +++ b/src/pretty_print.ml @@ -40,9 +40,7 @@ (* SUCH DAMAGE. *) (**************************************************************************) -include Pretty_print_t_ascii include Pretty_print_lem_ast include Pretty_print_sail include Pretty_print_ocaml include Pretty_print_lem - |