diff options
| author | Maxime Dénès | 2014-11-25 14:38:02 +0100 |
|---|---|---|
| committer | Maxime Dénès | 2014-11-25 14:38:02 +0100 |
| commit | 87f9997244a9e0ac620343c9be1b7cb509818819 (patch) | |
| tree | aca95ee3a3ab6c6592bbd8d7ab095f24a4dc9c6b /plugins | |
| parent | 2b6251140fc8af0a56a2b0b8b16345eaa1b00ea2 (diff) | |
Fix order of arguments in Extract Constant for Pos.compare_cont.
Diffstat (limited to 'plugins')
| -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 ab634329f7..e68ce1a64d 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 => "(+)". |