import edu.gwu.lintool.*;

public class TestLinTool {

    public static void main (String[] argv)
    {
	AliceLinTool alice = new AliceLinTool ();
	LinTest.testRealNumberAdd (alice);
    }

}