diff --git a/src/solver/parallel_tactical.cpp b/src/solver/parallel_tactical.cpp
index 9c986f1866..eb6659bf0d 100644
--- a/src/solver/parallel_tactical.cpp
+++ b/src/solver/parallel_tactical.cpp
@@ -56,6 +56,10 @@ tactic* mk_parallel_tactic2(solver* s, params_ref const& p) {
     return alloc(non_parallel_tactic2, s, p);
 }
 
+tactic* mk_parallel_tactic(solver* s, params_ref const& /* p */) {
+    return mk_solver2tactic(s);
+}
+
 #else
 
 #include <atomic>