| 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
let rec aux aliases diff lookup_in_todo_dom todo_dom base_univ =
match todo_dom with
| [] ->