From 7cfcaa57a68ea9abde9e2558ceef86589aa26d6d Mon Sep 17 00:00:00 2001
From: Enrico Tassi <Enrico.Tassi@inria.fr>
Date: Wed, 8 Oct 2014 17:28:18 +0200
Subject: STM: primitives to snapshot a .vi while in interactive mode

---
 lib/stateid.ml | 9 +++++++++
 1 file changed, 9 insertions(+)

(limited to 'lib/stateid.ml')

diff --git a/lib/stateid.ml b/lib/stateid.ml
index 09cc2b7e8..59cf206e2 100644
--- a/lib/stateid.ml
+++ b/lib/stateid.ml
@@ -39,3 +39,12 @@ let compare = Int.compare
 
 module Set = Set.Make(struct type t = int let compare = compare end)
 
+type ('a,'b) request = {
+  exn_info : t * t;
+  stop : t;
+  document : 'b;
+  loc : Loc.t;
+  uuid     : 'a;
+  name     : string
+}
+
-- 
cgit v1.2.3