From e781648499ecbdce213add3e53b3ac2d739f2a35 Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Wed, 15 Oct 2025 20:55:27 +0200
Subject: [PATCH] fix test

Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
---
 src/test/finite_set_rewriter.cpp | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/test/finite_set_rewriter.cpp b/src/test/finite_set_rewriter.cpp
index ab014aa6f..b2d80ab98 100644
--- a/src/test/finite_set_rewriter.cpp
+++ b/src/test/finite_set_rewriter.cpp
@@ -22,6 +22,7 @@ Author:
 #include "ast/rewriter/finite_set_rewriter.h"
 
 class finite_set_rewriter_test {
+public:
     void test_union_idempotent() {
         ast_manager m;
         reg_decl_plugins(m);