diff options
Diffstat (limited to 'checker/term.ml')
-rw-r--r-- | checker/term.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/checker/term.ml b/checker/term.ml index 8cac78375..75c566aeb 100644 --- a/checker/term.ml +++ b/checker/term.ml @@ -333,7 +333,7 @@ let destArity = | LetIn (x,b,t,c) -> prodec_rec (LocalDef (x,b,t)::l) c | Cast (c,_,_) -> prodec_rec l c | Sort s -> l,s - | _ -> anomaly ~label:"destArity" (Pp.str "not an arity") + | _ -> anomaly ~label:"destArity" (Pp.str "not an arity.") in prodec_rec [] |