diff options
Diffstat (limited to 'plugins/extraction/ExtrOcamlZInt.v')
| -rw-r--r-- | plugins/extraction/ExtrOcamlZInt.v | 2 |
1 files changed, 1 insertions, 1 deletions
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 => "(+)". |