From 9ccef2c0850b73bf3d92f26bfa0aeacf933e1d17 Mon Sep 17 00:00:00 2001
From: Alex AUVOLAT <alex.auvolat@ens.fr>
Date: Wed, 7 May 2014 17:41:06 +0200
Subject: Restart anew ; done nonrelational stuff, interpret remains, intervals
 domain remains

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

(limited to 'libs/util.ml')

diff --git a/libs/util.ml b/libs/util.ml
index b2838b6..17c1ad4 100644
--- a/libs/util.ml
+++ b/libs/util.ml
@@ -1,3 +1,4 @@
+exception TypeError
 
 module VarMap = Mapext.Make(String)
 
-- 
cgit v1.2.3