Removed warning for floating-point division by zero

phases/typecheck.ml

@@ -141,7 +141,7 @@ let rec typecheck node =
     (* Check for division by zero *)
     begin
       match (op, right) with
-      | (Div, Const ((IntVal 0l | FloatVal 0.0), _)) ->
+      | (Div, Const (IntVal 0l, _)) ->
         node_warning right "division by zero"
       | _ -> ()
     end;