diff options
Diffstat (limited to 'parsing/search.ml')
-rw-r--r-- | parsing/search.ml | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/parsing/search.ml b/parsing/search.ml index e1723a1d1..c771a7737 100644 --- a/parsing/search.ml +++ b/parsing/search.ml @@ -18,7 +18,6 @@ open Declarations open Libobject open Declare open Coqast -open Astterm open Environ open Pattern open Printer |