From 8c2ba3d47e2f93490c779304370b144960960cc4 Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Fri, 1 Jul 2022 19:18:09 -0700
Subject: [PATCH] missing virtual functions

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

diff --git a/src/solver/parallel_tactic.cpp b/src/solver/parallel_tactic.cpp
index 5c8c30c5d..c79f52084 100644
--- a/src/solver/parallel_tactic.cpp
+++ b/src/solver/parallel_tactic.cpp
@@ -41,6 +41,7 @@ Notes:
 
 
 class non_parallel_tactic : public tactic {
+public:
     non_parallel_tactic(solver* s, params_ref const& p) {
     }