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 2144b75e7..004492e78 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 = - Errors.UserError ("tactic matching" , Pp.str "No matching clauses for match.") + CErrors.UserError ("tactic matching" , Pp.str "No matching clauses for match.") let imatching_error = (matching_error, Exninfo.null) |