diff --git a/src/test/CMakeLists.txt b/src/test/CMakeLists.txt
index a273d4e77..8464cedf9 100644
--- a/src/test/CMakeLists.txt
+++ b/src/test/CMakeLists.txt
@@ -36,7 +36,7 @@ add_executable(test-z3
   dl_relation.cpp
   dl_table.cpp
   dl_util.cpp
-  doc.cpp
+  doc.cpp  
   dlist.cpp
   egraph.cpp
   escaped.cpp
diff --git a/src/test/dlist.cpp b/src/test/dlist.cpp
index 81689699f..dfc1138b7 100644
--- a/src/test/dlist.cpp
+++ b/src/test/dlist.cpp
@@ -151,7 +151,7 @@ void test_contains() {
     std::cout << "test_contains passed." << std::endl;
 }
 
-int tst_dlist() {
+void tst_dlist() {
     test_prev();
     test_next();
     test_const_prev();
@@ -166,5 +166,4 @@ int tst_dlist() {
     test_invariant();
     test_contains();
     std::cout << "All tests passed." << std::endl;
-    return 0;
 }