include depenency

Z3Prover · Aug 25, 2022 · f0eee41 · f0eee41
1 parent 6c165e8
commit f0eee41
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/src/sat/CMakeLists.txt b/src/sat/CMakeLists.txt
@@ -39,6 +39,7 @@ z3_add_component(sat
     util
     dd
     grobner
+    params
   PYG_FILES
     sat_asymm_branch_params.pyg
     sat_params.pyg