From 7cfcaa57a68ea9abde9e2558ceef86589aa26d6d Mon Sep 17 00:00:00 2001 From: Enrico Tassi Date: Wed, 8 Oct 2014 17:28:18 +0200 Subject: STM: primitives to snapshot a .vi while in interactive mode --- lib/future.ml | 1 + 1 file changed, 1 insertion(+) (limited to 'lib/future.ml') diff --git a/lib/future.ml b/lib/future.ml index 6ebbd4b1d..4437cec84 100644 --- a/lib/future.ml +++ b/lib/future.ml @@ -41,6 +41,7 @@ module UUID = struct end module UUIDMap = Map.Make(UUID) +module UUIDSet = Set.Make(UUID) type 'a assignement = [ `Val of 'a | `Exn of exn | `Comp of 'a computation] -- cgit v1.2.3