| Invalid_choice msg -> Ko msg, ugraph
in
(* (4) build all possible interpretations *)
| Invalid_choice msg -> Ko msg, ugraph
in
(* (4) build all possible interpretations *)
- let (@@) (l1,l2) (l1',l2') = l1@l1, l2@l2' in
+ let (@@) (l1,l2) (l1',l2') = l1@l1', l2@l2' in