diff options
Diffstat (limited to 'Binaries/DafnyRuntime.cs')
| -rw-r--r-- | Binaries/DafnyRuntime.cs | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/Binaries/DafnyRuntime.cs b/Binaries/DafnyRuntime.cs index e22d52ad..36341f68 100644 --- a/Binaries/DafnyRuntime.cs +++ b/Binaries/DafnyRuntime.cs @@ -455,5 +455,9 @@ namespace Dafny public static Sequence<T> SeqFromArray<T>(T[] array) {
return new Sequence<T>(array);
}
+ public static U ExpressionSequence<T, U>(T t, U u)
+ {
+ return u;
+ }
}
}
|