From 87f9997244a9e0ac620343c9be1b7cb509818819 Mon Sep 17 00:00:00 2001
From: Maxime Dénès <mail@maximedenes.fr>
Date: Tue, 25 Nov 2014 14:38:02 +0100
Subject: Fix order of arguments in Extract Constant for Pos.compare_cont.

---
 plugins/extraction/ExtrOcamlZInt.v | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/plugins/extraction/ExtrOcamlZInt.v b/plugins/extraction/ExtrOcamlZInt.v
index ab634329f..e68ce1a64 100644
--- a/plugins/extraction/ExtrOcamlZInt.v
+++ b/plugins/extraction/ExtrOcamlZInt.v
@@ -43,7 +43,7 @@ Extract Constant Pos.max => "Pervasives.max".
 Extract Constant Pos.compare =>
  "fun x y -> if x=y then Eq else if x<y then Lt else Gt".
 Extract Constant Pos.compare_cont =>
- "fun x y c -> if x=y then c else if x<y then Lt else Gt".
+ "fun c x y -> if x=y then c else if x<y then Lt else Gt".
 
 
 Extract Constant N.add => "(+)".
-- 
cgit v1.2.3