diff options
| author |  qadeer <qadeer@microsoft.com> | 2012-02-20 14:59:04 -0800 |
|---|---|---|
| committer | qadeer <qadeer@microsoft.com> | 2012-02-20 14:59:04 -0800 |
| commit | c793a5ea9bf33f9f7028af9920e569b5ec7fcc4f (patch) | |
| tree | 3aca8ecef601c7140be93ffaa1ee50815774a162 /Source/Dafny.sln | |
| parent | 51e9ec1d1b9fd9d707a7eb5b9c903e266efbdad1 (diff) | |
added floating point keywords to reserved SMTwords list
Diffstat (limited to 'Source/Dafny.sln')
0 files changed, 0 insertions, 0 deletions