From 7d65100330953b25348f1ef9056508b47343464c Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Tue, 17 Dec 2019 10:14:49 -0800
Subject: [PATCH] sat -> dd

Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
---
 src/test/bdd.cpp | 12 ++++++------
 1 file changed, 6 insertions(+), 6 deletions(-)

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();
 }