1 files changed, 2 insertions, 2 deletions
diff --git a/Test/dafny4/Bug60.dfy b/Test/dafny4/Bug60.dfy
index 5340ad6b..c433451c 100644
--- a/Test/dafny4/Bug60.dfy
+++ b/Test/dafny4/Bug60.dfy
@@ -9,5 +9,5 @@ method Main()
     print (s, m), "\n";
     print (|s|, |m|), "\n";
     print(set s | s in m), "\n";
-    print (forall x :: x in (map [1:=10, 2:=20]) ==> x > 0), "\n";
-}
-\ No newline at end of file
+    print (forall x {:nowarn} :: x in (map [1:=10, 2:=20]) ==> x > 0), "\n";
+}