diff --git a/src/test/bdd.cpp b/src/test/bdd.cpp
index 423142557..f04d8dd4b 100644
--- a/src/test/bdd.cpp
+++ b/src/test/bdd.cpp
@@ -1,6 +1,6 @@
-#include "sat/sat_bdd.h"
+#include "math/dd/dd_bdd.h"
 
-namespace sat {
+namespace dd {
     static void test1() {
         bdd_manager m(20);
         bdd v0 = m.mk_var(0);
@@ -76,8 +76,8 @@ namespace sat {
 }
 
 void tst_bdd() {
-    sat::test1();
-    sat::test2();
-    sat::test3();
-    sat::test4();
+    dd::test1();
+    dd::test2();
+    dd::test3();
+    dd::test4();
 }