// CS0513: `X.myAbstract()' is abstract but it is declared in the non-abstract class `X'
// Line: 5

class X {
	public abstract void myAbstract ();
}

class Y : X {
}