From d6997e31e7fc4cfc6e020bf1ab53e6b1fa3f74fe Mon Sep 17 00:00:00 2001 From: Pierre-Marie Pédrot Date: Wed, 6 Sep 2017 23:46:41 +0200 Subject: Fix coq/ltac2#23: Int.compare should not be uniformly 0. Stupid typo. --- src/tac2core.ml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'src') 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 -- cgit v1.2.3