From 3b66a738c57e42f6b988f56a225a9ce486946e1b Mon Sep 17 00:00:00 2001
From: Andreas Rumpf <rumpf_a@web.de>
Date: Mon, 16 Jul 2018 08:41:38 +0200
Subject: [PATCH] Updated Destructors (rest)

---
 Destructors.rest | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/Destructors.rest b/Destructors.rest
index c8c8659..9d8ae0e 100644
--- a/Destructors.rest
+++ b/Destructors.rest
@@ -137,7 +137,7 @@ Rule         Pattern                         Transformed into
 1.2          var x: sink T; stmts            var x: sink T; stmts; ensureEmpty(x)
 2            x = f()                         `=sink`(x, f())
 3            x = lastReadOf z                `=sink`(x, z); reset(z)
-4.1          y = sinkParam                  `=sink`(y, sinkParam)
+4.1          y = sinkParam                   `=sink`(y, sinkParam)
 4.2          x = y                           `=`(x, y) # a copy
 5.1          f_sink(g())                     f_sink(g())
 5.2          f_sink(y)                       f_sink(copy y); # copy unless it's the last read