diff --git a/src/CMakeLists.txt b/src/CMakeLists.txt
index 3d50bb21a..dd0044bee 100644
--- a/src/CMakeLists.txt
+++ b/src/CMakeLists.txt
@@ -36,6 +36,7 @@ endforeach()
 # that has not yet been declared.
 add_subdirectory(util)
 add_subdirectory(math/polynomial)
+add_subdirectory(math/dd)
 add_subdirectory(sat)
 add_subdirectory(nlsat)
 add_subdirectory(util/lp)
@@ -54,7 +55,6 @@ add_subdirectory(ast/substitution)
 add_subdirectory(parsers/util)
 add_subdirectory(math/grobner)
 add_subdirectory(math/euclid)
-add_subdirectory(math/dd)
 add_subdirectory(tactic/core)
 add_subdirectory(math/subpaving/tactic)
 add_subdirectory(tactic/aig)
diff --git a/src/sat/CMakeLists.txt b/src/sat/CMakeLists.txt
index e94586854..f3cd5973b 100644
--- a/src/sat/CMakeLists.txt
+++ b/src/sat/CMakeLists.txt
@@ -30,6 +30,7 @@ z3_add_component(sat
     sat_watched.cpp
   COMPONENT_DEPENDENCIES
     util
+    dd
   PYG_FILES
     sat_asymm_branch_params.pyg
     sat_params.pyg