diff options
Diffstat (limited to 'parsing/egrammar.mli')
| -rw-r--r-- | parsing/egrammar.mli | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/parsing/egrammar.mli b/parsing/egrammar.mli index 47b8beced3..84809265a6 100644 --- a/parsing/egrammar.mli +++ b/parsing/egrammar.mli @@ -9,6 +9,7 @@ (*i $Id$ i*) (*i*) +open Util open Topconstr open Ast open Coqast |