diff options
Diffstat (limited to 'library')
-rw-r--r-- | library/decl_kinds.ml | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/library/decl_kinds.ml b/library/decl_kinds.ml index cd7c666bb..10ae3d79b 100644 --- a/library/decl_kinds.ml +++ b/library/decl_kinds.ml @@ -23,6 +23,8 @@ type definitionkind = | GDefinition | LCoercion | GCoercion + | LSubClass + | GSubClass | SCanonical type locality_flag = (*bool (* local = true; global = false *)*) |