X-Git-Url: http://git.annexia.org/?a=blobdiff_plain;f=src%2Futils.ml;fp=src%2Futils.ml;h=3d1b0c529930cd21eaddffe6e361251f3af8d4c6;hb=0aead2922062dc8a4e7dc88fe7776f92ac6c232a;hp=50adfb42ab72d555e799777083b6f51ad9fb6269;hpb=d06b73832126c575927af40f3ebf574e8621b2a8;p=goals.git

diff --git a/src/utils.ml b/src/utils.ml
index 50adfb4..3d1b0c5 100644
--- a/src/utils.ml
+++ b/src/utils.ml
@@ -24,6 +24,8 @@ let failwithf fs = ksprintf failwith fs
 let (//) = Filename.concat
 let is_directory d = try Sys.is_directory d with Sys_error _ -> false
 
+let unique = let i = ref 0 in fun () -> incr i; !i
+
 (* From OCaml 4.08 sources.  We can remove this when we can
  * depend on min OCaml 4.08.
  *)