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 *)
;;
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]