From 8286c7c23a47c166aa87337a3146cdf3b278b144 Mon Sep 17 00:00:00 2001
From: Alex Auvolat <alex.auvolat@ansys.com>
Date: Thu, 19 Jun 2014 10:51:59 +0200
Subject: Isolate numerical part of domain. Next: isolate numerical part of
 equations.

---
 abstract/domain.ml | 3 +++
 1 file changed, 3 insertions(+)
 create mode 100644 abstract/domain.ml

(limited to 'abstract/domain.ml')

diff --git a/abstract/domain.ml b/abstract/domain.ml
new file mode 100644
index 0000000..76635d1
--- /dev/null
+++ b/abstract/domain.ml
@@ -0,0 +1,3 @@
+open Ast
+open Formula
+
-- 
cgit v1.2.3