From a997ee7d78d90740b15b58502a1dc5e587b43ee3 Mon Sep 17 00:00:00 2001
From: Pierre-Marie Pédrot
Date: Mon, 30 Oct 2017 15:53:55 +0100
Subject: Introducing the change tactic.

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

(limited to 'src/tac2qexpr.mli')

diff --git a/src/tac2qexpr.mli b/src/tac2qexpr.mli
index 229cece7c4..ad52884ca6 100644
--- a/src/tac2qexpr.mli
+++ b/src/tac2qexpr.mli
@@ -84,6 +84,12 @@ type induction_clause_r = {
 
 type induction_clause = induction_clause_r located
 
+type conversion_r =
+| QConvert of Constrexpr.constr_expr
+| QConvertWith of Constrexpr.constr_expr * Constrexpr.constr_expr
+
+type conversion = conversion_r located
+
 type multi_r =
 | QPrecisely of int located
 | QUpTo of int located
-- 
cgit v1.2.3