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) {
     }