diff options
Diffstat (limited to 'src/tac2qexpr.mli')
| -rw-r--r-- | src/tac2qexpr.mli | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/tac2qexpr.mli b/src/tac2qexpr.mli index ad52884ca6..2f6c97f08b 100644 --- a/src/tac2qexpr.mli +++ b/src/tac2qexpr.mli @@ -136,7 +136,7 @@ type constr_matching = constr_match_branch list located type goal_match_pattern_r = { q_goal_match_concl : constr_match_pattern; - q_goal_match_hyps : (Name.t located * constr_match_pattern) list; + q_goal_match_hyps : (Misctypes.lname * constr_match_pattern) list; } type goal_match_pattern = goal_match_pattern_r located |