Update CMakeLists.txt

kunjsong01 · Jan 20, 2024 · 90d8690 · 90d8690
1 parent 8657f4e
commit 90d8690
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/solvers/bitwuzla/CMakeLists.txt b/src/solvers/bitwuzla/CMakeLists.txt
@@ -10,7 +10,7 @@ else()
             NAME bitwuzla
             DOWNLOAD_ONLY YES
             GITHUB_REPOSITORY bitwuzla/bitwuzla
-            GIT_TAG 0.3.0)
+            GIT_TAG 0.3.1)
 
 	  message("[bitwuzla] Source-dir: ${bitwuzla_SOURCE_DIR} ")
         message("[bitwuzla] Configuring project:  ./configure.py --prefix ${bitwuzla_BINARY_DIR}")