-// cs0531.cs: 'Interface.P.get' : interface members cannot have a definition// Line: 5
-public interface Interface { int P { get {} }}
\ No newline at end of file
+// cs0531-2.cs: `Interface.P.get': interface members cannot have a definition
+// Line:
+
+public interface Interface {
+ int P { get {} }
+}
\ No newline at end of file