diff options
Diffstat (limited to 'toplevel/discharge.ml')
| -rw-r--r-- | toplevel/discharge.ml | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/toplevel/discharge.ml b/toplevel/discharge.ml index 9ee3a5621..14e4feff5 100644 --- a/toplevel/discharge.ml +++ b/toplevel/discharge.ml @@ -22,6 +22,7 @@ open Cooking open Typeops open Libobject open Lib +open Nametab open Declare open Impargs open Classops |