KJ-21 Bug discovered by Andrei. Presumably fixed. The error was in the program.

Author: denis-bogdanas

symbolic/symbolic_02_BasicList.java

@@ -85,7 +85,10 @@ public static void main(String[] args) {
     l1.insert(x);
     l1.delete(x);
     if (l2.eqTo(l1) == false) {
-        System.out.println("error");
+      System.out.println("error");
+    } else {
+      System.out.println("ok");
     }
+    System.out.println("Done!");
   }
 }

symbolic/symbolic_03_OrderedList.java

@@ -88,7 +88,9 @@ void insert(int x) {
         }
     }
 
-    OrderedList copy() {
+    // Contravariant return type, not supported by Java 1.4
+    // OrderedList copy() {
+    BasicList copy() {
         OrderedList t = new OrderedList();
         int i = 0;
         t.size = size;
@@ -113,6 +115,9 @@ public static void main(String[] args) {
     l1.delete(x);
     if (l2.eqTo(l1) == false) {
         System.out.println("error");
+    } else {
+      System.out.println("ok");
     }
+    System.out.println("Done!");
   }
 }