Fix bugs in reporting multiple cyclesmultiple-cycles-quick

1 files changed, 0 insertions, 1 deletions

diff --git a/src/theory/arith/idl/idl_extension.cpp b/src/theory/arith/idl/idl_extension.cpp
index aa2807507..3323390aa 100644
--- a/src/theory/arith/idl/idl_extension.cpp
+++ b/src/theory/arith/idl/idl_extension.cpp
@@ -146,7 +146,6 @@ void IdlExtension::traceCycles() {
   std::vector<bool> seen(d_numVars, false);
   for (size_t start = 0; start < d_numVars; start++) {
     if (seen[start]) continue;
-    seen[start] = true;
     std::vector<size_t> cycle{start};
     std::unordered_map<size_t, size_t> node_to_cycle_idx;
     bool abort = false;