From 196ce815f39c15d34816b7202e727d68594c372c Mon Sep 17 00:00:00 2001
From: "copilot-swe-agent[bot]" <198982749+Copilot@users.noreply.github.com>
Date: Thu, 12 Mar 2026 19:55:20 +0000
Subject: [PATCH 1/2] Initial plan


From c6cfd43ab2c0c7aa5d6c17df8959207a20e24fa8 Mon Sep 17 00:00:00 2001
From: "copilot-swe-agent[bot]" <198982749+Copilot@users.noreply.github.com>
Date: Thu, 12 Mar 2026 20:16:52 +0000
Subject: [PATCH 2/2] Fix build: correct constructor initializer list syntax in
 seq_nielsen.cpp

Co-authored-by: NikolajBjorner <3085284+NikolajBjorner@users.noreply.github.com>
---
 src/smt/seq/seq_nielsen.cpp | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/smt/seq/seq_nielsen.cpp b/src/smt/seq/seq_nielsen.cpp
index f741c5558..b58622def 100644
--- a/src/smt/seq/seq_nielsen.cpp
+++ b/src/smt/seq/seq_nielsen.cpp
@@ -444,7 +444,7 @@ namespace seq {
     nielsen_graph::nielsen_graph(euf::sgraph& sg, simple_solver& solver):
         m_sg(sg),
         m_solver(solver),
-        m_parikh(alloc(seq_parikh, sg)) {
+        m_parikh(alloc(seq_parikh, sg)),
         m_len_vars(sg.get_manager()) {
     }