diff options
| author |  qunyanm <unknown> | 2016-03-31 10:54:30 -0700 |
|---|---|---|
| committer | qunyanm <unknown> | 2016-03-31 10:54:30 -0700 |
| commit | 8b9126340fb1b5c5c4abe67b940911b675d22c63 (patch) | |
| tree | 9b2e1abf18600fef7962150cd6b0124f3851f4eb /Source/Dafny/Compiler.cs | |
| parent | c3a9fed25227c42683f41154a6d6aa4db5204b55 (diff) | |
Fix issue 143. The list that stores the function fuel constants was declared as
static field and not initialized correctly. Make it an instance field instead.
Diffstat (limited to 'Source/Dafny/Compiler.cs')
0 files changed, 0 insertions, 0 deletions