Ptidej-v5.2-master/Ptidej Solver Tests/src/ptidej/test/cycle/package2/B.java
/*******************************************************************************
 * Copyright (c) 2001-2014 Yann-Gal Guhneuc and others.
 * All rights reserved. This program and the accompanying materials
 * are made available under the terms of the GNU Public License v2.0
 * which accompanies this distribution, and is available at
 * http://www.gnu.org/licenses/old-licenses/gpl-2.0.html
 * 
 * Contributors:
 *     Yann-Gal Guhneuc and others, see in file; API and its implementation
 ******************************************************************************/
package ptidej.test.cycle.package2;

public class B {
	public static void main(final String[] args) {
		final ptidej.test.cycle.package1.A a =
			new ptidej.test.cycle.package1.A();
		System.out.println(a);
	}
}
