git-svn-id: https://svn.inf.ethz.ch/svn/lecturers/a2/trunk@6865 8c9fc860-2736-0410-a75d-ab315db34111
@@ -2010,7 +2010,7 @@ negative: plain new statement
MODULE Test;
VAR object: OBJECT END;
- BEGIN (object);
+ BEGIN NEW;
END Test.
negative: new statement missing new