From 3d1092cf7df3229ecc2a4da60a33cf7c6b9be1a3 Mon Sep 17 00:00:00 2001
From: Pierre-Marie Pédrot
Date: Tue, 8 Aug 2017 12:32:37 +0200
Subject: Code simplification in quotations.

---
 src/tac2qexpr.mli | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

(limited to 'src/tac2qexpr.mli')

diff --git a/src/tac2qexpr.mli b/src/tac2qexpr.mli
index f6b8c2c19b..d5520c54ee 100644
--- a/src/tac2qexpr.mli
+++ b/src/tac2qexpr.mli
@@ -60,9 +60,11 @@ type occurrences =
 
 type hyp_location = (occurrences * Id.t located or_anti) * Locus.hyp_location_flag
 
-type clause =
+type clause_r =
   { q_onhyps : hyp_location list option; q_concl_occs : occurrences; }
 
+type clause = clause_r located
+
 type constr_with_bindings = (Constrexpr.constr_expr * bindings) located
 
 type destruction_arg =
-- 
cgit v1.2.3