(***********************************************************************)
(*
- Time-stamp: <Last modified on 2013-04-22 14:47:46 CEST by Kim Nguyen>
+ Time-stamp: <Last modified on 2013-04-22 15:31:24 CEST by Kim Nguyen>
*)
INCLUDE "utils.ml"
Ata.reset auto;
while !redo do
redo := false;
+ Ata.reset auto;
redo := top_down_run auto tree node cache !iter;
incr iter;
done;