Commit 7237f129 authored by Pietro Abate's avatar Pietro Abate

Fix error message in typing (apply)

parent 54ce5064
......@@ -963,7 +963,7 @@ and type_check' loc env ed constr precise = match ed with
(* s [_delta dom(t) *)
try Types.squareapply env.delta t1 t2
with Types.Tallying.UnSatConstr _ ->
raise_loc loc (Constraint (dom,t2))
raise_loc loc (Constraint (t2,dom))
in
res
else begin
......
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