From b7f9019a6e8263710a6b78032a5d605bb80b5e84 Mon Sep 17 00:00:00 2001
From: CEisenhofer <clemens.eisenhofer@tuwien.ac.at>
Date: Wed, 27 May 2026 17:29:06 +0200
Subject: [PATCH] Duplicate function signature

---
 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 70aa963bf..0691d6a8e 100644
--- a/src/smt/seq/seq_nielsen.cpp
+++ b/src/smt/seq/seq_nielsen.cpp
@@ -336,7 +336,7 @@ namespace seq {
         }
         m_constraints.push_back(c);
     }
-    
+
     void nielsen_node::apply_subst(euf::sgraph& sg, nielsen_subst const& s) {
         SASSERT(!s.m_var->is_char_or_unit() || s.m_replacement->is_char_or_unit());
         SASSERT(s.m_var);