checkpoint

diff --git a/test.fleet b/test.fleet
index 8081937..f71d265 100644 (file)
--- a/test.fleet
+++ b/test.fleet
@@ -6,8 +6,8 @@
 #import edu.berkeley.fleet
 
 
-// the identifier after the token is the 
-// Java class name of the ship to use
+// these SHIPs do not correspond to those in IES31;
+// that will be corrected shortly:
 
 #ship adder    : AdderShip
 #ship adder2   : AdderShip
@@ -52,6 +52,3 @@ continue: {
                           gate2.codebag <- top
                         }
      }
-
-
-