From ee7ebf17245c65b630d5b7c01de8ad9253bd9523 Mon Sep 17 00:00:00 2001
From: Pierre-Marie Pédrot
Date: Mon, 28 Aug 2017 20:31:33 +0200
Subject: Fix coq/ltac2#6: Expected and actual types are flipped.

---
 src/tac2intern.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'src')

diff --git a/src/tac2intern.ml b/src/tac2intern.ml
index 5c1c90e924..9d22b18af4 100644
--- a/src/tac2intern.ml
+++ b/src/tac2intern.ml
@@ -947,7 +947,7 @@ and intern_case env loc e pl =
         in
         brT
       in
-      let () = unify ~loc:(loc_of_tacexpr br) env ret tbr in
+      let () = unify ~loc:(loc_of_tacexpr br) env tbr ret in
       intern_branch rem
     in
     let () = intern_branch pl in
-- 
cgit v1.2.3