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

---
 reserve.dot | 2 ++
 1 file changed, 2 insertions(+)

(limited to 'reserve.dot')

diff --git a/reserve.dot b/reserve.dot
index e98abe69..af6e3e86 100644
--- a/reserve.dot
+++ b/reserve.dot
@@ -4,9 +4,11 @@ digraph Reserve {
   drained [color=blue, label="drained reserve", shape="doublecircle"];
 
   transfer->filled;
+  recoup->filled;
   filled->withdraw;
   withdraw->drained;
   withdraw->filled;
   filled->close;
   close->drained;
+  drained->recoup;
 }
-- 
cgit v1.2.3