From 8c5f29f2fdcc259d4b8410a1065a328e9283df94 Mon Sep 17 00:00:00 2001
From: Andreas Rumpf <rumpf_a@web.de>
Date: Thu, 29 Mar 2018 22:33:03 +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 1528b66..9878161 100644
--- a/Destructors.rest
+++ b/Destructors.rest
@@ -136,7 +136,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)
-4.1          sinkParam = y                   `=sink`(sinkParam, y)
+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);