[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

types/builtin.ml

@@ -278,7 +278,7 @@ binary_op_cst "*"
      | (Value.Integer x, Value.Integer y) -> Value.Integer (Intervals.vmult x y)
      | _ -> assert false);;
 
-binary_op_cst "div"
+binary_op_cst "/"
   int int int
   (fun v1 v2 -> match (v1,v2) with
      | (Value.Integer x, Value.Integer y) -> Value.Integer (Intervals.vdiv x y)