From d31e32743fa3ff7d157632909ae220cc0d34e841 Mon Sep 17 00:00:00 2001 From: Tomohiro Date: Wed, 15 Jan 2020 03:51:58 +0900 Subject: [PATCH] Fix typo in doc/destructors.rst (#13148) --- doc/destructors.rst | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/doc/destructors.rst b/doc/destructors.rst index 5877b53c38..1ca51ddf1c 100644 --- a/doc/destructors.rst +++ b/doc/destructors.rst @@ -199,7 +199,7 @@ objects inside ``=`` and ``=sink`` is a strong indicator to treat ``system.swap`` as a builtin primitive of its own that simply swaps every field in the involved objects via ``copyMem`` or a comparable mechanism. In other words, ``swap(a, b)`` is **not** implemented -as ``let tmp = move(a); b = move(a); a = move(tmp)``. +as ``let tmp = move(b); b = move(a); a = move(tmp)``. This has further consequences: