Tweak readme

clf · May 2, 2008 · 4a3afd4 · 4a3afd4
1 parent af05121
commit 4a3afd4
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/readme.txt b/readme.txt
@@ -28,7 +28,8 @@ To start interactively:
   :
   # Main.go true;;
 
-If you want to turn off type-checking, use "go False" to start the system.
+If you want to turn off type-checking, use "Main.go false;;" to start the 
+system.
 
 The interpreter recognizes the following commands: