Commit 41438ccc authored by Kim Nguyễn's avatar Kim Nguyễn
Browse files

Fix the registration of the `mod` operator.

parent 1efad323
......@@ -381,7 +381,7 @@ binary_op_warning2 "/"
| (Value.Integer x, Value.Integer y) -> Value.Integer (Intervals.V.div x y)
| _ -> assert false);;
binary_op_warning2 "mod"
binary_op_warning2 "%"
int int non_zero_int int
(fun v1 v2 -> match (v1,v2) with
| (Value.Integer x, Value.Integer y) -> Value.Integer (Intervals.V.modulo x y)
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment