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.mli | 2 ++
 1 file changed, 2 insertions(+)

(limited to 'lib/stateid.mli')

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