From 7849623597ce36e5094718d3c8bf2fcf71c61954 Mon Sep 17 00:00:00 2001
From: Andrew Noyes <anoyes34@gmail.com>
Date: Thu, 18 Jan 2024 16:23:07 -0800
Subject: [PATCH] Don't trash worklist initial contents

---
 ConflictSet.cpp | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/ConflictSet.cpp b/ConflictSet.cpp
index d47f6c7..a92f147 100644
--- a/ConflictSet.cpp
+++ b/ConflictSet.cpp
@@ -401,7 +401,8 @@ void runInterleaved(std::span<Stepwise> remaining, int stepLimit = -1) {
       bool done = remaining[i].step();
       if (done) {
         if (i != int(remaining.size()) - 1) {
-          remaining[i] = remaining.back();
+          using std::swap;
+          swap(remaining[i], remaining.back());
         }
         remaining = remaining.subspan(0, remaining.size() - 1);
       } else {