From 68fef7a9612cf42ba42d9ca1cc2423556f66b461 Mon Sep 17 00:00:00 2001
From: Alex Auvolat <alex.auvolat@ansys.com>
Date: Thu, 12 Jun 2014 16:42:25 +0200
Subject: Working prototype for an interpret ! But very messy.

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

(limited to 'libs')

diff --git a/libs/util.ml b/libs/util.ml
index 2150abc..cfa1619 100644
--- a/libs/util.ml
+++ b/libs/util.ml
@@ -17,4 +17,9 @@ let print_list x l =
     | [a] -> Format.printf "%s" a
     | p::q -> Format.printf "%s, " p; aux q
   in
-  Format.printf "["; aux l; Format.printf "]@.";
+  Format.printf "["; aux l; Format.printf "]@."
+
+let uid =
+  let c = ref 0 in
+  fun () -> c := !c + 1; string_of_int !c
+
-- 
cgit v1.2.3