diff --git a/generator/stdlib_ml/stdlib.ml b/generator/stdlib_ml/stdlib.ml index 173a0a262c280edb659f9d4959466f828053c84f..cf778cc2c81de30063d72cc228a908b67ab5cb0c 100644 --- a/generator/stdlib_ml/stdlib.ml +++ b/generator/stdlib_ml/stdlib.ml @@ -99,6 +99,7 @@ let min = Pervasives.min;; let max = Pervasives.max;; *) +(* FIXME: THIS IS INCORRECT FOR FLOATS *) let ( === ) = Pervasives.( = );; (*