From c53fb4be8c65a89dd03d4aedc2fc65d9807da915 Mon Sep 17 00:00:00 2001
From: Pierre-Marie Pédrot
Date: Thu, 14 Sep 2017 00:15:09 +0200
Subject: Binding the pose/set family of tactics.

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

(limited to 'src/tac2qexpr.mli')

diff --git a/src/tac2qexpr.mli b/src/tac2qexpr.mli
index 7d02022e07..580039afe5 100644
--- a/src/tac2qexpr.mli
+++ b/src/tac2qexpr.mli
@@ -139,3 +139,5 @@ type move_location_r =
 | QMoveLast
 
 type move_location = move_location_r located
+
+type pose = (Id.t located or_anti option * Constrexpr.constr_expr) located
-- 
cgit v1.2.3