From 3a71f28c6c42f085cfdb10c0081e6587c7c86c3a Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Tue, 10 Mar 2026 15:49:24 -0700
Subject: [PATCH] Rename dummy_simple_solver to zipt_dummy_simple_solver

---
 src/test/nseq_zipt.cpp | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/src/test/nseq_zipt.cpp b/src/test/nseq_zipt.cpp
index 08014f0af..b07a636de 100644
--- a/src/test/nseq_zipt.cpp
+++ b/src/test/nseq_zipt.cpp
@@ -33,7 +33,7 @@ Abstract:
 // Trivial simple_solver stub: optimistically assumes integer constraints
 // are always feasible (returns l_true without actually checking).
 // -----------------------------------------------------------------------
-class dummy_simple_solver : public seq::simple_solver {
+class zipt_dummy_simple_solver : public seq::simple_solver {
 public:
     void push() override {}
     void pop(unsigned) override {}
@@ -171,7 +171,7 @@ struct nseq_fixture {
     ast_manager m;
     euf::egraph eg;
     euf::sgraph sg;
-    dummy_simple_solver dummy_solver;
+    zipt_dummy_simple_solver dummy_solver;
     seq::nielsen_graph ng;
     seq_util su;
     str_builder sb;