diff options
Diffstat (limited to 'grammar')
| -rw-r--r-- | grammar/grammar.mllib | 1 | ||||
| -rw-r--r-- | grammar/tacextend.ml4 | 1 |
2 files changed, 0 insertions, 2 deletions
diff --git a/grammar/grammar.mllib b/grammar/grammar.mllib index f361bee492..bde5c15f3f 100644 --- a/grammar/grammar.mllib +++ b/grammar/grammar.mllib @@ -31,7 +31,6 @@ Stdarg Constrarg Tok Lexer -Extrawit Pcoq Q_util Q_coqast diff --git a/grammar/tacextend.ml4 b/grammar/tacextend.ml4 index 1b29da6813..d494a92d88 100644 --- a/grammar/tacextend.ml4 +++ b/grammar/tacextend.ml4 @@ -15,7 +15,6 @@ open Q_util open Q_coqast open Argextend open Pcoq -open Extrawit open Egramml open Compat |