diff options
| author |  Rustan Leino <leino@microsoft.com> | 2011-05-11 17:03:02 -0700 |
|---|---|---|
| committer | Rustan Leino <leino@microsoft.com> | 2011-05-11 17:03:02 -0700 |
| commit | 90f890087c87221d1268d07d2641b2ba8eb6c969 (patch) | |
| tree | b0f514fd978ca786ac249753fea0e961203cb8c6 /Binaries | |
| parent | 0a0f91fdc3ce6917e9ceaec54de72cc19b1e480a (diff) | |
Dafny: fixed compilation bugs, added @-signs in front of identifiers to avoid clashes with C# keywords, added switch in runtest scripts to turn on compilation
Diffstat (limited to 'Binaries')
| -rw-r--r-- | Binaries/DafnyRuntime.cs | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/Binaries/DafnyRuntime.cs b/Binaries/DafnyRuntime.cs index 63cca64a..b10aeac9 100644 --- a/Binaries/DafnyRuntime.cs +++ b/Binaries/DafnyRuntime.cs @@ -122,6 +122,7 @@ namespace Dafny // return the first one
return t;
}
+ return default(T);
}
}
public class Sequence<T>
|