diff options
| author |  Jason Koenig <unknown> | 2012-06-19 14:35:22 -0700 |
|---|---|---|
| committer | Jason Koenig <unknown> | 2012-06-19 14:35:22 -0700 |
| commit | 9a73d13a15f88a8dbf3b89b04d57a4a38efa7710 (patch) | |
| tree | c9a7233a16d8c000240f41ede63653629607fab9 /Binaries | |
| parent | 2d7df8e142639e3dbd85460c83b16f6af7ae9622 (diff) | |
Dafny: disallow declare identifiers starting with underscore (_)
It is still possible to reference names containing an underscore, but it is not
possible to make a variable, method, class, bound variable, type, or module name
beginning with one.
Diffstat (limited to 'Binaries')
0 files changed, 0 insertions, 0 deletions