From 223c68e38e217d9457c476d5534b6aaf0ad2caf6 Mon Sep 17 00:00:00 2001
From: Enrico Tassi <Enrico.Tassi@inria.fr>
Date: Thu, 13 Mar 2014 15:59:02 +0100
Subject: Stateid: export a Set module

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

(limited to 'lib/stateid.ml')

diff --git a/lib/stateid.ml b/lib/stateid.ml
index 1eac4bf3f..09cc2b7e8 100644
--- a/lib/stateid.ml
+++ b/lib/stateid.ml
@@ -36,3 +36,6 @@ let get exn = Exninfo.get exn state_id_info
 
 let equal = Int.equal
 let compare = Int.compare
+
+module Set = Set.Make(struct type t = int let compare = compare end)
+
-- 
cgit v1.2.3