compiler-design-eth/javali_tests/HW3_nop90/EntrypointTests/OkInheritedMainMethod.javali

// The main method can be inherited from another class

class OtherMain {
	void main () {}
}

class Main extends OtherMain {}