diff options
Diffstat (limited to 'Test/dafny0/LiberalEquality.dfy')
-rw-r--r-- | Test/dafny0/LiberalEquality.dfy | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Test/dafny0/LiberalEquality.dfy b/Test/dafny0/LiberalEquality.dfy index 3dc52c80..b9b4629b 100644 --- a/Test/dafny0/LiberalEquality.dfy +++ b/Test/dafny0/LiberalEquality.dfy @@ -15,7 +15,7 @@ class Test<T> { }
method m1<T, U>(t: T, u: U)
- requires t != u;
+ requires t != u; // Cannot compare type parameters (can only compare reference types that could be the same)
{
}
|