snopshot (working one!)

[helm.git] / components / acic_content / termAcicContent.ml

diff --git a/components/acic_content/termAcicContent.ml b/components/acic_content/termAcicContent.ml
index 681f3cd541312e8dff3e86e475cfe3e89aa0db7d..f6b1b68aa3958d50deb92c1ec97a4c82aaee7322 100644 (file)
--- a/components/acic_content/termAcicContent.ml
+++ b/components/acic_content/termAcicContent.ml
@@ -376,8 +376,9 @@ let ast_of_acic ~output_type id_to_sort annterm =
   debug_print (lazy ("ast_of_acic -> " ^ CicNotationPp.pp_term ast));
   ast, term_info.uri
 
+let counter = ref ~-1 
+let reset () = counter := ~-1;;
 let fresh_id =
-  let counter = ref ~-1 in
   fun () ->
     incr counter;
     !counter