diff options
| author | Guillaume Melquiond | 2019-12-22 11:09:54 +0400 |
|---|---|---|
| committer | Guillaume Melquiond | 2019-12-22 11:27:01 +0400 |
| commit | 6e8c8068a8cbaf34dbb5e32a2eda61f190737f86 (patch) | |
| tree | 551bf0f324583a1c8a9a62e24bb9e8c07630c6f0 /plugins/syntax/string_notation.mli | |
| parent | ec337b6e5be76b69b4c82af682a08cfec2a8e12a (diff) | |
Simplify equality of 63-bit integers.
The sign bit is supposed to be zero, so no need to mask it out. If it was
not zero, most of the algorithms in this file would fail horribly.
Diffstat (limited to 'plugins/syntax/string_notation.mli')
0 files changed, 0 insertions, 0 deletions