diff options
Diffstat (limited to 'toplevel/vernacexpr.ml')
| -rw-r--r-- | toplevel/vernacexpr.ml | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/toplevel/vernacexpr.ml b/toplevel/vernacexpr.ml index 0ab5f8ac9e..db68c779c5 100644 --- a/toplevel/vernacexpr.ml +++ b/toplevel/vernacexpr.ml @@ -51,6 +51,7 @@ type printable = | PrintClasses | PrintCoercions | PrintCoercionPaths of class_rawexpr * class_rawexpr + | PrintCanonicalStructures | PrintUniverses of string option | PrintHint of reference | PrintHintGoal |