From 2b0e0ad1062ad49c8bd7d4a7d183fe0119f81803 Mon Sep 17 00:00:00 2001
From: Pierre-Marie Pédrot
Date: Tue, 5 Sep 2017 15:39:04 +0200
Subject: Introducing quotations for move locations.

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

(limited to 'src/tac2qexpr.mli')

diff --git a/src/tac2qexpr.mli b/src/tac2qexpr.mli
index 4bbaf43d8d..7d02022e07 100644
--- a/src/tac2qexpr.mli
+++ b/src/tac2qexpr.mli
@@ -131,3 +131,11 @@ type hintdb_r =
 | QHintDbs of Id.t located or_anti list
 
 type hintdb = hintdb_r located
+
+type move_location_r =
+| QMoveAfter of Id.t located or_anti
+| QMoveBefore of Id.t located or_anti
+| QMoveFirst
+| QMoveLast
+
+type move_location = move_location_r located
-- 
cgit v1.2.3