Commit b7a5d472 authored by Giuseppe Castagna's avatar Giuseppe Castagna
Browse files

No modification

parent f8646776
......@@ -1285,8 +1285,11 @@ and branches_aux loc env targ tres constr precise = function
);
let env' = enter_values (IdMap.get res) env in
Format.printf "patt %a@." Patterns.Print.pp (Patterns.descr p);
Format.printf "env = %a@." pp_env env';
Format.printf "==========================================@.";
Format.printf "==========================================@.";
Format.printf "==========================================@.";
Format.printf "patt%a@." Patterns.Print.pp (Patterns.descr p);
Format.printf "env = %a@." pp_env env';
(* Xi_j : a map from term variables in the pattern to type variables *)
let xj =
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment