From f7868083de2f351b5195149870e6e77398da44f9 Mon Sep 17 00:00:00 2001
From: Alex Auvolat <alex.auvolat@ansys.com>
Date: Fri, 13 Jun 2014 11:31:50 +0200
Subject: Parse activate blocks.

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

(limited to 'libs')

diff --git a/libs/util.ml b/libs/util.ml
index cfa1619..522c3ec 100644
--- a/libs/util.ml
+++ b/libs/util.ml
@@ -1,6 +1,11 @@
 exception TypeError
 
 module VarMap = Mapext.Make(String)
+exception Duplicate of string
+let disjoint_union k a b = match a, b with
+  | Some x, None -> Some x
+  | None, Some y -> Some y 
+  | _ -> raise (Duplicate k)
 
 let rec fix equal f s =
   let fs = f s in
-- 
cgit v1.2.3