diff options
Diffstat (limited to 'parsing')
| -rw-r--r-- | parsing/prettyp.ml | 4 |
1 files changed, 0 insertions, 4 deletions
diff --git a/parsing/prettyp.ml b/parsing/prettyp.ml index 38c8a7438f..f530870e95 100644 --- a/parsing/prettyp.ml +++ b/parsing/prettyp.ml @@ -430,10 +430,6 @@ let gallina_print_library_entry with_values ent = Some (str " >>>>>>> Module " ++ pr_name oname) | (oname,Lib.ClosedModule _) -> Some (str " >>>>>>> Closed Module " ++ pr_name oname) - | (oname,Lib.OpenedModtype _) -> - Some (str " >>>>>>> Module Type " ++ pr_name oname) - | (oname,Lib.ClosedModtype _) -> - Some (str " >>>>>>> Closed Module Type " ++ pr_name oname) | (_,Lib.FrozenState _) -> None |