// cs0513.cs: X.myAbstract is abstract but it is contained in non-abstract class
// Line: 5

class X {
	public abstract void myAbstract ();
}

class Y : X {
}