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

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.