X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=components%2Fcontent_pres%2FtermContentPres.ml;fp=components%2Fcontent_pres%2FtermContentPres.ml;h=d68b6a8b4bfee412eab2ac206acb46aab90f55cd;hb=f06968e452cca8782e822d98bec9007404abcbbe;hp=2fccd4f64a55ca8ad547fc233808fac2b9b0bab6;hpb=94267002fc18aa42a8c09779ad6485f93c3e90fa;p=helm.git

diff --git a/components/content_pres/termContentPres.ml b/components/content_pres/termContentPres.ml
index 2fccd4f64..d68b6a8b4 100644
--- a/components/content_pres/termContentPres.ml
+++ b/components/content_pres/termContentPres.ml
@@ -468,8 +468,9 @@ let fill_pos_info l1_pattern = l1_pattern
   in
   aux true l1_pattern *)
 
+let counter = ref ~-1 
+let reset () = counter := ~-1;;
 let fresh_id =
-  let counter = ref ~-1 in
   fun () ->
     incr counter;
     !counter