compiler-design-eth/javali_tests/HW3_nop90/DoubleDeclarationsErrors/ObjectClass.javali

// No class can have the name "Object"

class Aclass {}
class Object extends Aclass {}
class Main extends Object {
	void main() {}
}