From 983379f5e21d6931dae1fafd597e72850f011f3e Mon Sep 17 00:00:00 2001
From: CEisenhofer <clemens.eisenhofer@tuwien.ac.at>
Date: Wed, 18 Mar 2026 16:16:59 +0100
Subject: [PATCH] Missing semicolon

---
 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 7c70f9b5b..04f00f61a 100644
--- a/src/smt/seq/seq_nielsen.cpp
+++ b/src/smt/seq/seq_nielsen.cpp
@@ -166,7 +166,7 @@ namespace seq {
     // -----------------------------------------------
 
     bool nielsen_subst::is_eliminating() const {
-        SASSERT(m_var && m_replacement)
+        SASSERT(m_var && m_replacement);
         // check if var appears in replacement
         euf::snode_vector tokens;
         m_replacement->collect_tokens(tokens);