// cs0513.cs: `X.myAbstract()' is abstract but it is contained in nonabstract class
// Line: 5

class X {
	public abstract void myAbstract ();
}

class Y : X {
}