let l' =
let i = ref 0 in
List.map
- (function
- | None -> None
- | Some t ->
- incr i;
+ (function t ->
+ incr i ;
+ match t with
+ None -> None
+ | Some t ->
try
Some (aux k t)
with Occur ->
+prerr_endline (Printf.sprintf "RESTRINGO (%d,%d)" n !i) ;
more_to_be_restricted := (n,!i) :: !more_to_be_restricted;
None)
l