let loop = loopfun (`Left *+ state) (`Right *+ state) in
let phi = mk_phi toplevel cont loop in
( [ (Transition.make (state, test, marking, phi));
- (Transition.make (state, TagSet.any, false, loop));
- (*(Transition.make (state, TagSet.any, false, `Right *+ state)) *)
- ],
- (`Left *+ state))
+ (Transition.make (state, TagSet.any, false, loop));
+ ],
+ (`Left *+ state))
| _ -> assert false
in
let compile path =
let cont, conf = compile_path true path empty_info in
- let (_, _, init), _ = Formula.st cont in
+ let init, _ = Formula.st cont in
let get t s =
try Hashtbl.find t s with Not_found -> []
in