From 3ec7747b1e829c47bd03087a4ea050c0657afc26 Mon Sep 17 00:00:00 2001 From: Brian Warner Date: Thu, 22 Dec 2016 12:24:22 -0500 Subject: [PATCH] more --- docs/w.dot | 12 ++++++------ 1 file changed, 6 insertions(+), 6 deletions(-) diff --git a/docs/w.dot b/docs/w.dot index 1e85bb4..da84c89 100644 --- a/docs/w.dot +++ b/docs/w.dot @@ -110,12 +110,6 @@ digraph { WCM_S_allocate_waiting -> WCM_P_allocate_generate [label="WCM_rx_allocation()"] WCM_P_allocate_generate [shape="box" label="generate\nrandom code"] WCM_P_allocate_generate -> WCM_P_set_code - - /* ConnectionMachine */ - /*WCM_S_known -> CM_start [style="invis"] - CM_start [label="Connection\nMachine" style="dotted"] - CM_start -> CM_S_neither [style="invis"] - CM_S_neither [label="neither"]*/ @@ -199,4 +193,10 @@ digraph { P2_P_send_pakev2 -> P2_P_process_v2 [label="rx pake_v2"] P2_P_process_v2 [shape="box" label="process v2"] */ + + /* ConnectionMachine */ + WCM_S_known -> CM_start [style="invis"] + CM_start [label="Connection\nMachine" style="dotted"] + CM_start -> CM_S_neither [style="invis"] + CM_S_neither [label="neither"] }