diff options
| author | Paolo G. Giarrusso | 2020-01-27 21:39:59 +0100 |
|---|---|---|
| committer | Paolo G. Giarrusso | 2020-01-27 23:24:28 +0100 |
| commit | acfea8d9515504d4842ae5d24fc39186303d1cde (patch) | |
| tree | 4d3e991e1acd252f9c8756c0d9bdaab2499e74dc /kernel/float64.ml | |
| parent | 9e1a30ce69b3ebdd8f1617d7c3a0b92641c771fd (diff) | |
Rephrase to reduce ambiguity
This is the smallest possible change to clarify the text without making it
even more formal.
Diffstat (limited to 'kernel/float64.ml')
0 files changed, 0 insertions, 0 deletions