From 52a90cb35796f2f090c97e41dc13ab1715877234 Mon Sep 17 00:00:00 2001
From: Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Date: Tue, 8 Apr 2008 17:03:35 +0000
Subject: [PATCH] Seed reset before each convert_obj.

---
 helm/software/components/ng_kernel/oCic2NCic.ml | 8 +++++---
 1 file changed, 5 insertions(+), 3 deletions(-)

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]
-- 
2.39.2