diff options
| author |  Clément Pit--Claudel <clement.pitclaudel@live.com> | 2015-07-23 10:26:47 -0700 |
|---|---|---|
| committer | Clément Pit--Claudel <clement.pitclaudel@live.com> | 2015-07-23 10:26:47 -0700 |
| commit | 1763ad8e4d6b631fe966b394ae2dbafa7d803627 (patch) | |
| tree | 18bf26b129696e1218284b0f62400a0efe92f395 /Test/irondafny0 | |
| parent | fb4915bc1b95d182b08a45c85d92046489ed1078 (diff) | |
Fix: Visual studio did not show warnings.
To check if the fix works, try declaring a static top level function.
Initial work on this patch by Rustan
Diffstat (limited to 'Test/irondafny0')
0 files changed, 0 insertions, 0 deletions