diff options
Diffstat (limited to 'library/kindops.ml')
| -rw-r--r-- | library/kindops.ml | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/library/kindops.ml b/library/kindops.ml index 86e6e2fff..35aebc531 100644 --- a/library/kindops.ml +++ b/library/kindops.ml @@ -34,8 +34,8 @@ let string_of_definition_kind def = | Global, CanonicalStructure -> "Canonical Structure" | Global, Example -> "Example" | Local, (CanonicalStructure|Example) -> - Errors.anomaly "Unsupported local definition kind" + Errors.anomaly (Pp.str "Unsupported local definition kind") | Local, Instance -> "Instance" | Global, Instance -> "Global Instance" | _, (StructureComponent|Scheme|CoFixpoint|Fixpoint|IdentityCoercion|Method) - -> Errors.anomaly "Internal definition kind" + -> Errors.anomaly (Pp.str "Internal definition kind") |