From 44a561ec468eb15247c5f43fd49f4d99136b24f8 Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Wed, 10 Jun 2026 15:04:24 -0700 Subject: [PATCH] Update seq_regex_bisim.cpp --- src/ast/rewriter/seq_regex_bisim.cpp | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/src/ast/rewriter/seq_regex_bisim.cpp b/src/ast/rewriter/seq_regex_bisim.cpp index 8aa060732..5e849017c 100644 --- a/src/ast/rewriter/seq_regex_bisim.cpp +++ b/src/ast/rewriter/seq_regex_bisim.cpp @@ -11,9 +11,9 @@ Abstract: Author: - Nikolaj Bjorner (nbjorner) Margus Veanes (veanes) - + Nikolaj Bjorner (nbjorner) + --*/ #include "ast/rewriter/seq_regex_bisim.h"