diff options
| author | Emilio Jesus Gallego Arias | 2019-06-26 01:14:06 +0200 |
|---|---|---|
| committer | Emilio Jesus Gallego Arias | 2019-06-26 01:14:06 +0200 |
| commit | 2433d810b9850d25819f97643664a851d29d2e0f (patch) | |
| tree | 876bdb53d9ac0022dfa52c58bd133b76d973a193 /dev/base_include | |
| parent | 7e0697d6931d250fec2b1ff5092148d8ea11c4d3 (diff) | |
| parent | a3549bef1b4d4498f91e6ad35ae65b48a2fb302f (diff) | |
Merge PR #10401: Fix printers test
Reviewed-by: ejgallego
Diffstat (limited to 'dev/base_include')
| -rw-r--r-- | dev/base_include | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/dev/base_include b/dev/base_include index f764eaf4f5..b30bbaa3fa 100644 --- a/dev/base_include +++ b/dev/base_include @@ -142,7 +142,6 @@ open Ind_tables open Auto_ind_decl open Coqinit open Coqtop -open Discharge open Himsg open Metasyntax open Mltop @@ -209,3 +208,7 @@ let _ = print_string ("\n\tOcaml toplevel with Coq printers and utilities (use go();; to exit)\n\n"); flush_all() + +(* Local Variables: *) +(* mode: tuareg *) +(* End: *) |