diff options
| author | Alex Auvolat <alex.auvolat@ansys.com> | 2014-06-12 16:42:25 +0200 |
|---|---|---|
| committer | Alex Auvolat <alex.auvolat@ansys.com> | 2014-06-12 16:42:25 +0200 |
| commit | 68fef7a9612cf42ba42d9ca1cc2423556f66b461 (patch) | |
| tree | fe0941eaf32cab6f6f463c2a72b7c0013c409040 /libs | |
| parent | cfe9934537d0ddf1a98b32237c06ddf81aed45b1 (diff) | |
| download | scade-analyzer-68fef7a9612cf42ba42d9ca1cc2423556f66b461.tar.gz scade-analyzer-68fef7a9612cf42ba42d9ca1cc2423556f66b461.zip | |
Working prototype for an interpret ! But very messy.
Diffstat (limited to 'libs')
| -rw-r--r-- | libs/util.ml | 7 |
1 files changed, 6 insertions, 1 deletions
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 + |