// CS0534: `Y' does not implement inherited abstract member `X.myAbstract()'
// Line: 5

abstract class X {
	public abstract void myAbstract ();
}

class Y : X {
static void Main (){}
}