| _ -> assert false
in
instantiate_fold_right env)
- | If (_, p_true, p_false) as t -> aux env (CicNotationUtil.find_branch (Magic t))
+ | If (_, p_true, p_false) as t ->
+ aux env (CicNotationUtil.find_branch (Magic t))
| Fail -> assert false
| _ -> assert false
in