From 6c77f33cdf81f085380efc3549f4bf55c8150071 Mon Sep 17 00:00:00 2001
From: Brian Warner <warner@lothar.com>
Date: Thu, 22 Dec 2016 16:13:07 -0500
Subject: [PATCH] start on connection machine

---
 docs/w.dot | 7 +++++++
 1 file changed, 7 insertions(+)

diff --git a/docs/w.dot b/docs/w.dot
index da84c89..4534ddd 100644
--- a/docs/w.dot
+++ b/docs/w.dot
@@ -199,4 +199,11 @@ digraph {
         CM_start [label="Connection\nMachine" style="dotted"]
         CM_start -> CM_S_neither [style="invis"]
         CM_S_neither [label="neither"]
+        CM_S_neither -> CM_S_unbound
+        CM_S_unbound [label="unbound"]
+        CM_S_unbound -> CM_P_bind
+        CM_P_bind [shape="box" label="C_send(bind)"]
+        CM_P_bind -> CM_S_bound
+        CM_S_bound [label="bound"]
+        
 }