From: Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Date: Tue, 8 Apr 2008 17:03:35 +0000 (+0000)
Subject: Seed reset before each convert_obj.
X-Git-Tag: make_still_working~5398
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=52a90cb35796f2f090c97e41dc13ab1715877234;p=helm.git

Seed reset before each convert_obj.
---

diff --git a/helm/software/components/ng_kernel/oCic2NCic.ml b/helm/software/components/ng_kernel/oCic2NCic.ml
index a9c8d11ef..6987bb7eb 100644
--- a/helm/software/components/ng_kernel/oCic2NCic.ml
+++ b/helm/software/components/ng_kernel/oCic2NCic.ml
@@ -194,11 +194,12 @@ let fix_outtype t =
   aux [] t
 ;;
 
-let get_fresh =
+let get_fresh,reset_seed =
  let seed = ref 0 in
-  function () ->
+  (function () ->
    incr seed;
-   string_of_int !seed
+   string_of_int !seed),
+  (function () -> seed := 0)
 ;;
 
 (* we are lambda-lifting also variables that do not occur *)
@@ -461,6 +462,7 @@ let convert_obj_aux uri = function
 ;;
 
 let convert_obj uri obj = 
+  reset_seed ();
   let o, fixpoints = convert_obj_aux uri obj in
   let obj = NUri.nuri_of_ouri uri,max_int, [], [], o in
   fixpoints @ [obj]