diff options
author | leino <unknown> | 2014-10-23 21:52:12 -0700 |
---|---|---|
committer | leino <unknown> | 2014-10-23 21:52:12 -0700 |
commit | 40f36d68b8cb9489d052ababada29539c7d8de92 (patch) | |
tree | 46b3b65776325e0bb78b5a5bfae1d483fec0485a /Binaries/DafnyPrelude.bpl | |
parent | 07ac1e4cfe6cdaf73a5bfa8b863728beae2a4c86 (diff) |
Allow underscores in numeric literals (and in field/destructor names that are written as numeric strings). The
underscores have no semantic meaning, but can help a human parse the numbers.
Diffstat (limited to 'Binaries/DafnyPrelude.bpl')
0 files changed, 0 insertions, 0 deletions