diff options
Diffstat (limited to 'tactics/tactic_matching.ml')
-rw-r--r-- | tactics/tactic_matching.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/tactics/tactic_matching.ml b/tactics/tactic_matching.ml index 004492e78..4d4ca7d9e 100644 --- a/tactics/tactic_matching.ml +++ b/tactics/tactic_matching.ml @@ -103,7 +103,7 @@ let verify_metas_coherence env sigma (ln1,lcm) (ln,lm) = (merged, Id.Map.merge merge lcm lm) let matching_error = - CErrors.UserError ("tactic matching" , Pp.str "No matching clauses for match.") + CErrors.UserError (Some "tactic matching" , Pp.str "No matching clauses for match.") let imatching_error = (matching_error, Exninfo.null) |