From cec3c4b55f31a1ffcabc92ec6cea6d90aa94af1a Mon Sep 17 00:00:00 2001
From: CEisenhofer <clemens.eisenhofer@tuwien.ac.at>
Date: Thu, 6 Aug 2026 19:10:24 -0700
Subject: [PATCH] Removed random symbol

---
 src/ast/rewriter/seq_monadic.h | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/ast/rewriter/seq_monadic.h b/src/ast/rewriter/seq_monadic.h
index dc2bf8efae..4567af48a1 100644
--- a/src/ast/rewriter/seq_monadic.h
+++ b/src/ast/rewriter/seq_monadic.h
@@ -84,7 +84,7 @@ class seq_monadic {
         seq::transition_mode m_mode;
         bool m_model = true;  // whether solve()/check() extract a feasible model
         bool m_min_core = true;   // whether check() minimizes the unsat core (else: all deps)
-solve
+
         config(seq::transition_mode mode) : m_mode(mode) {}
     };