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 +++
 lib/stateid.mli | 2 ++
 2 files changed, 5 insertions(+)

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)
+
diff --git a/lib/stateid.mli b/lib/stateid.mli
index 27b083efd..11fac7a92 100644
--- a/lib/stateid.mli
+++ b/lib/stateid.mli
@@ -13,6 +13,8 @@ type t
 val equal : t -> t -> bool
 val compare : t -> t -> int
 
+module Set : Set.S with type elt = t
+
 val initial : t
 val dummy : t
 val fresh : unit -> t
-- 
cgit v1.2.3