From 1bbeba35eb385f813a0e4b6d25a437f9bab8191b Mon Sep 17 00:00:00 2001
From: Pierre-Marie Pédrot
Date: Mon, 18 Jun 2018 14:32:58 +0200
Subject: Fixing a batch of deprecation warnings.

---
 src/tac2qexpr.mli | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'src/tac2qexpr.mli')

diff --git a/src/tac2qexpr.mli b/src/tac2qexpr.mli
index 05b9f4141f..3f0c591e63 100644
--- a/src/tac2qexpr.mli
+++ b/src/tac2qexpr.mli
@@ -135,7 +135,7 @@ type constr_matching = constr_match_branch list CAst.t
 
 type goal_match_pattern_r = {
   q_goal_match_concl : constr_match_pattern;
-  q_goal_match_hyps : (Misctypes.lname * constr_match_pattern) list;
+  q_goal_match_hyps : (Names.lname * constr_match_pattern) list;
 }
 
 type goal_match_pattern = goal_match_pattern_r CAst.t
-- 
cgit v1.2.3