From 95b3ffeb2557cbb5ec985a23d574b0498cd992d4 Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Thu, 21 May 2026 10:42:17 -0700 Subject: [PATCH] replace struct by class Signed-off-by: Nikolaj Bjorner --- src/solver/parallel_tactical2.h | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/solver/parallel_tactical2.h b/src/solver/parallel_tactical2.h index 1fbab40bc..b27a4c740 100644 --- a/src/solver/parallel_tactical2.h +++ b/src/solver/parallel_tactical2.h @@ -20,6 +20,6 @@ Author: class tactic; class solver; -struct params_ref; +class params_ref; tactic * mk_parallel_tactic2(solver* s, params_ref const& p);