1 files changed, 1 insertions, 2 deletions
diff --git a/Test/dafny0/DTypes.dfy b/Test/dafny0/DTypes.dfy
index d925587b..f92e93e6 100644
--- a/Test/dafny0/DTypes.dfy
+++ b/Test/dafny0/DTypes.dfy
@@ -25,8 +25,7 @@ class C {
   method A1(a: CP<int,C>)
   {
     var x: object := a;
-    assert (forall b: CP<int,Stack> :: x == b ==> b == null);  // error (we don't add a type antecedent to
-                                                               // quantifiers; is that what we want?)
+    assert (forall b: CP<int,Stack> :: x == b ==> b == null);  // follows from type antecedents
   }
 
   var a2x: set<CP<C,Node>>;