From 5062895429a123c470f7d1e3580ef4372d7b8c87 Mon Sep 17 00:00:00 2001
From: Tony Garnock-Jones <tonygarnockjones@gmail.com>
Date: Mon, 23 Jul 2012 12:12:00 -0400
Subject: [PATCH] Cosmetic renaming

---
 chat-os2.rkt | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/chat-os2.rkt b/chat-os2.rkt
index e94dd3c..d06739d 100644
--- a/chat-os2.rkt
+++ b/chat-os2.rkt
@@ -7,7 +7,7 @@
 
 (define (main)
   (ground-vm
-   (transition 'none
+   (transition 'no-state
      (spawn tcp-driver)
      (spawn (nested-vm 'chat-vm
 		       (transition 'no-state