Pervasives.= for floats

OCamlPro · May 20, 2019 · 5715299 · 5715299
1 parent 594e02d
commit 5715299
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/sources/lib/frontend/simple_reasoner_expr.ml b/sources/lib/frontend/simple_reasoner_expr.ml
@@ -52,7 +52,7 @@ let ( ** ) v1 v2 =
 let (|=) v1 v2 =
   match v1, v2 with
     Bool b1, Bool b2 -> b1 == b2
-  | Num n1, Num n2 -> n1 == n2
+  | Num n1, Num n2 -> (Pervasives.(=)) n1 n2
   | _,_ -> false
 
 let (|<>) v1 v2 = not (v1 |= v2)