diff options
Diffstat (limited to 'toplevel/classes.ml')
| -rw-r--r-- | toplevel/classes.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/toplevel/classes.ml b/toplevel/classes.ml index b3b9efcefd..5932765890 100644 --- a/toplevel/classes.ml +++ b/toplevel/classes.ml @@ -24,7 +24,7 @@ open Typeclasses open Libnames open Constrintern open Glob_term -open Topconstr +open Constrexpr (*i*) open Decl_kinds |