diff options
| author |  kyessenov <unknown> | 2011-02-16 04:09:21 +0000 |
|---|---|---|
| committer | kyessenov <unknown> | 2011-02-16 04:09:21 +0000 |
| commit | 36e1b3bc044880106f0af64b8ddc7d8dd0f9bdda (patch) | |
| tree | 84fa4952d4d240db205b40b7d2fd5d0adf5adc77 /Test | |
| parent | 8205927a5e3d42700db73583aa1291d7543b23e5 (diff) | |
Fix some deprecation warnings from scalac 2.8.0.
Check for Boogie.exe only on Windows.
Fix parser (_ is a keyword, not a delimiter)
Diffstat (limited to 'Test')
0 files changed, 0 insertions, 0 deletions