diff options
Diffstat (limited to 'proofs/goal.ml')
| -rw-r--r-- | proofs/goal.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/proofs/goal.ml b/proofs/goal.ml index 38e536ba2..a9aa4fa59 100644 --- a/proofs/goal.ml +++ b/proofs/goal.ml @@ -63,7 +63,7 @@ let rec advance sigma g = let v = match evi.Evd.evar_body with | Evd.Evar_defined c -> c - | _ -> Errors.anomaly "Some goal is marked as 'cleared' but is uninstantiated" + | _ -> Errors.anomaly (Pp.str "Some goal is marked as 'cleared' but is uninstantiated") in let (e,_) = Term.destEvar v in let g' = { g with content = e } in |