From 900841d0bb4700fb2a3662457e7c4efea34a97e4 Mon Sep 17 00:00:00 2001
From: Pierre-Marie Pédrot
Date: Fri, 18 Aug 2017 13:47:36 +0200
Subject: Exporting scopes for occurrences.

---
 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 e2bf10f4e2..a631ffd188 100644
--- a/src/tac2qexpr.mli
+++ b/src/tac2qexpr.mli
@@ -52,12 +52,14 @@ and intro_pattern_naming = intro_pattern_naming_r located
 and intro_pattern_action = intro_pattern_action_r located
 and or_and_intro_pattern = or_and_intro_pattern_r located
 
-type occurrences =
+type occurrences_r =
 | QAllOccurrences
 | QAllOccurrencesBut of int located or_anti list
 | QNoOccurrences
 | QOnlyOccurrences of int located or_anti list
 
+type occurrences = occurrences_r located
+
 type hyp_location = (occurrences * Id.t located or_anti) * Locus.hyp_location_flag
 
 type clause_r =
-- 
cgit v1.2.3