diff options
Diffstat (limited to 'parsing')
| -rw-r--r-- | parsing/prettyp.ml (renamed from parsing/pretty.ml) | 0 | ||||
| -rw-r--r-- | parsing/prettyp.mli (renamed from parsing/pretty.mli) | 0 | ||||
| -rw-r--r-- | parsing/search.ml | 1 |
3 files changed, 0 insertions, 1 deletions
diff --git a/parsing/pretty.ml b/parsing/prettyp.ml index 6044767c2c..6044767c2c 100644 --- a/parsing/pretty.ml +++ b/parsing/prettyp.ml diff --git a/parsing/pretty.mli b/parsing/prettyp.mli index b84c566348..b84c566348 100644 --- a/parsing/pretty.mli +++ b/parsing/prettyp.mli diff --git a/parsing/search.ml b/parsing/search.ml index a4053757ff..2b9a5dd448 100644 --- a/parsing/search.ml +++ b/parsing/search.ml @@ -18,7 +18,6 @@ open Libobject open Declare open Coqast open Astterm -open Pretty open Environ open Pattern open Printer |