From 3c3b96e877dcb121d17da282dc4ca0caadda72b2 Mon Sep 17 00:00:00 2001
From: Alex Auvolat <alex.auvolat@ansys.com>
Date: Thu, 19 Jun 2014 17:53:33 +0200
Subject: Very buggy disjunction domain !

---
 libs/util.ml | 6 ++++++
 1 file changed, 6 insertions(+)

(limited to 'libs')

diff --git a/libs/util.ml b/libs/util.ml
index 6931ed9..01b0c5c 100644
--- a/libs/util.ml
+++ b/libs/util.ml
@@ -25,6 +25,8 @@ let loc_error l f x =
   | NoLocError e -> raise (LocError([l], e))
   | LocError(q, e) -> raise (LocError(l::q, e))
 
+let not_implemented e = error ("Not implemented: " ^ e)
+
 (* Varmaps *)
 
 module VarMap = Mapext.Make(String)
@@ -33,6 +35,10 @@ let disjoint_union k a b = match a, b with
   | None, Some y -> Some y 
   | _ -> error ("Duplicate name in disjoint union: " ^ k)
 
+module SSet = Set.Make(String)
+
+(* Fixpoint *)
+
 let rec fix equal f s =
   let fs = f s in
   if equal fs s
-- 
cgit v1.2.3