diff options
Diffstat (limited to 'Test/dafny4/Bug63.dfy')
-rw-r--r-- | Test/dafny4/Bug63.dfy | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/Test/dafny4/Bug63.dfy b/Test/dafny4/Bug63.dfy index 86aad232..39cbae1b 100644 --- a/Test/dafny4/Bug63.dfy +++ b/Test/dafny4/Bug63.dfy @@ -8,6 +8,6 @@ method M() method Client()
{
- assume forall o: object :: o != null ==> false;
+ assume forall o: object {:nowarn} :: o != null ==> false;
M();
-}
\ No newline at end of file +}
|