From d61047ba240741b9f92ec03e7026deba79ea7b70 Mon Sep 17 00:00:00 2001
From: Pierre-Marie Pédrot
Date: Thu, 24 Aug 2017 15:48:14 +0200
Subject: Adding a scope for reduction flags.

---
 src/tac2qexpr.mli | 14 ++++++++++++++
 1 file changed, 14 insertions(+)

(limited to 'src/tac2qexpr.mli')

diff --git a/src/tac2qexpr.mli b/src/tac2qexpr.mli
index 2e7fc7b44a..7c774a5c80 100644
--- a/src/tac2qexpr.mli
+++ b/src/tac2qexpr.mli
@@ -101,3 +101,17 @@ type rewriting = rewriting_r located
 type dispatch_r = raw_tacexpr option list * (raw_tacexpr option * raw_tacexpr option list) option
 
 type dispatch = dispatch_r located
+
+type red_flag_r =
+| QBeta
+| QIota
+| QMatch
+| QFix
+| QCofix
+| QZeta
+| QConst of Libnames.reference or_anti list located
+| QDeltaBut of Libnames.reference or_anti list located
+
+type red_flag = red_flag_r located
+
+type strategy_flag = red_flag list located
-- 
cgit v1.2.3