diff options
Diffstat (limited to 'toplevel/discharge.ml')
| -rw-r--r-- | toplevel/discharge.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/toplevel/discharge.ml b/toplevel/discharge.ml index dcac6eb79..b12378c56 100644 --- a/toplevel/discharge.ml +++ b/toplevel/discharge.ml @@ -21,7 +21,7 @@ open Cooking let detype_param = function | (Name id,None,p) -> id, Entries.LocalAssum p | (Name id,Some p,_) -> id, Entries.LocalDef p - | (Anonymous,_,_) -> anomaly"Unnamed inductive local variable" + | (Anonymous,_,_) -> anomaly (Pp.str "Unnamed inductive local variable") (* Replace |