let visit_magic k = function
| List0 (t, l) -> List0 (k t, l)
- | List1 (t, l) -> List1 (k t, l )
+ | List1 (t, l) -> List1 (k t, l)
| Opt t -> Opt (k t)
| Fold (kind, t1, names, t2) -> Fold (kind, k t1, names, k t2)
| Default (t1, t2) -> Default (k t1, k t2)
+ | If (t1, t2) -> If (k t1, k t2)
let variables_of_term t =
let rec vars = ref [] in