From 207e6b439aed24aefcf07052ebd4f7c283722246 Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Wed, 10 Jun 2026 15:03:46 -0700
Subject: [PATCH] Update seq_regex_bisim.cpp

---
 src/ast/rewriter/seq_regex_bisim.cpp | 4 +---
 1 file changed, 1 insertion(+), 3 deletions(-)

diff --git a/src/ast/rewriter/seq_regex_bisim.cpp b/src/ast/rewriter/seq_regex_bisim.cpp
index 833c36dca..8aa060732 100644
--- a/src/ast/rewriter/seq_regex_bisim.cpp
+++ b/src/ast/rewriter/seq_regex_bisim.cpp
@@ -82,9 +82,7 @@ namespace seq {
         // Reject regexes mentioning free variables; the symbolic
         // derivative engine introduces (:var 0) only after we call it
         // ourselves, so any pre-existing variable would be a free var.
-        if (!is_ground(r))
-            return false;
-        return true;
+        return is_ground(r);
     }
 
     /*