From 08b6338061b73dd940ece4e0d61a949ab5420c0e Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Thu, 18 Jul 2024 10:19:57 -0700
Subject: [PATCH] fix signature

Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
---
 src/test/CMakeLists.txt | 2 +-
 src/test/dlist.cpp      | 3 +--
 2 files changed, 2 insertions(+), 3 deletions(-)

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