Commit dcc0d64b authored by Pietro Abate's avatar Pietro Abate
Browse files

[r2003-06-08 08:43:13 by cvscast] Bug fix for operator div

Original author: cvscast
Date: 2003-06-08 08:43:13+00:00
parent 2cb84f5d
...@@ -278,7 +278,7 @@ binary_op_cst "*" ...@@ -278,7 +278,7 @@ binary_op_cst "*"
| (Value.Integer x, Value.Integer y) -> Value.Integer (Intervals.vmult x y) | (Value.Integer x, Value.Integer y) -> Value.Integer (Intervals.vmult x y)
| _ -> assert false);; | _ -> assert false);;
binary_op_cst "div" binary_op_cst "/"
int int int int int int
(fun v1 v2 -> match (v1,v2) with (fun v1 v2 -> match (v1,v2) with
| (Value.Integer x, Value.Integer y) -> Value.Integer (Intervals.vdiv x y) | (Value.Integer x, Value.Integer y) -> Value.Integer (Intervals.vdiv 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