diff options
Diffstat (limited to 'src')
| -rw-r--r-- | src/tac2core.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/tac2core.ml b/src/tac2core.ml index 603ddeecfd..7f136b48ae 100644 --- a/src/tac2core.ml +++ b/src/tac2core.ml @@ -230,7 +230,7 @@ let () = define2 "int_equal" int int begin fun _ m n -> end let binop n f = define2 n int int begin fun _ m n -> - return (Value.of_int (f m m)) + return (Value.of_int (f m n)) end let () = binop "int_compare" Int.compare |