From 319b5179b2f588e8dd21a33cd80b6f288f96ee04 Mon Sep 17 00:00:00 2001
From: Christian Grothoff <christian@grothoff.org>
Date: Wed, 15 Jul 2020 15:09:18 +0200
Subject: update manual

---
 coin.dot | 7 ++++++-
 1 file changed, 6 insertions(+), 1 deletion(-)

(limited to 'coin.dot')

diff --git a/coin.dot b/coin.dot
index 7f21202e..3112a1b6 100644
--- a/coin.dot
+++ b/coin.dot
@@ -6,7 +6,8 @@ digraph Coin {
   partial [color=blue, label="dirty coin", shape="box"];
   revoked [color=blue, label="revoked coin", shape="box"];
   zombie [color=blue, label="zombie coin", shape="box"];
-  spent [color=blue, label="spent coin", shape="doublecircle"];
+  spent [color=blue, label="spent coin", shape="box"];
+  wired [color=blue, label="wired coin", shape="doublecircle"];
   expired [color=blue, label="expired coin", shape="doublecircle"];
 
   subgraph {
@@ -34,6 +35,10 @@ digraph Coin {
   reveal->fresh;
   melt->partial;
   melt->spent;
+  spent->refund;
+  refund->partial;
+  spent->wired [style=dotted];
+  partial->expired [style=dotted];
   partial->melt;
   partial->deposit [color=red];
   fresh->expired [style=dotted];
-- 
cgit v1.2.3