diff --git a/src/params/CMakeLists.txt b/src/params/CMakeLists.txt
index 9aea5b918..732430fe3 100644
--- a/src/params/CMakeLists.txt
+++ b/src/params/CMakeLists.txt
@@ -28,6 +28,7 @@ z3_add_component(params
     seq_rewriter_params.pyg
     sls_params.pyg
     smt_params_helper.pyg
+    smt_parallel_params.pyg
     solver_params.pyg
     tactic_params.pyg
   EXTRA_REGISTER_MODULE_HEADERS
diff --git a/src/params/smt_parallel.pyg b/src/params/smt_parallel_params.pyg
similarity index 100%
rename from src/params/smt_parallel.pyg
rename to src/params/smt_parallel_params.pyg
diff --git a/src/smt/smt_parallel.cpp b/src/smt/smt_parallel.cpp
index 7a33763a3..9831dc5a9 100644
--- a/src/smt/smt_parallel.cpp
+++ b/src/smt/smt_parallel.cpp
@@ -25,7 +25,8 @@ Author:
 #include "smt/smt_parallel.h"
 #include "smt/smt_lookahead.h"
 #include "solver/solver_preprocess.h"
-// #include "params/smt_parallel_params.hpp"
+#include "params/smt_parallel_params.hpp"
+
 
 #include <cmath>
 #include <mutex>