diff options
author | 2011-05-11 14:32:09 -0700 | |
---|---|---|
committer | 2011-05-11 14:32:09 -0700 | |
commit | 4a796f3afd6970659ccc8a1d0f991d511bde27a8 (patch) | |
tree | e017cfbc4272cd73a4b051692ddfe2be7745ab1c | |
parent | 2ebe4385e9146fb1ba568fb2a8ad5d8475303cc8 (diff) |
Dafny: Fixed non-compiling C# code in DafnyRuntime.cs
-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>
|