diff options
Diffstat (limited to 'stdlib')
| -rw-r--r-- | stdlib/pervasives.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/stdlib/pervasives.ml b/stdlib/pervasives.ml index 588761e89..8a7381999 100644 --- a/stdlib/pervasives.ml +++ b/stdlib/pervasives.ml @@ -195,7 +195,7 @@ let valid_float_lexem s = loop 0 ;; -let string_of_float f = valid_float_lexem (format_float "%.18g" f);; +let string_of_float f = valid_float_lexem (format_float "%.17g" f);; external float_of_string : string -> float = "float_of_string" |