X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;ds=sidebyside;f=src%2FHaskProofToStrong.v;h=19f2f62d8dd7a53105c6c4ebf185a7f42e586bdb;hb=c64ac559ed9448b8aa24abedbc2ad5ca800d1d24;hp=b14a53e8f23ca3e84921e9a1d126b599c52b70eb;hpb=e4fcbccb71fc54544e9acc62e95d1d15ec86294b;p=coq-hetmet.git

diff --git a/src/HaskProofToStrong.v b/src/HaskProofToStrong.v
index b14a53e..19f2f62 100644
--- a/src/HaskProofToStrong.v
+++ b/src/HaskProofToStrong.v
@@ -632,7 +632,7 @@ Section HaskProofToStrong.
     apply ileaf in q1'.
     apply ileaf in q2'.
     simpl in *.
-    apply (EApp _ _ _ _ _ _ q1' q2').
+    apply (EApp _ _ _ _ _ _ q2' q1').
 
   destruct case_RLet.
     apply ILeaf.