From e9c72de4385affcd03d517dae2b1bddbf1688314 Mon Sep 17 00:00:00 2001
From: Selim Sandal <49725809+selimsandal@users.noreply.github.com>
Date: Tue, 1 Oct 2024 10:51:58 +0300
Subject: [PATCH] Fix build error on macos

---
 CMakeModules/FindBITWUZLA.cmake | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/CMakeModules/FindBITWUZLA.cmake b/CMakeModules/FindBITWUZLA.cmake
index 518ea4708..e3784d966 100644
--- a/CMakeModules/FindBITWUZLA.cmake
+++ b/CMakeModules/FindBITWUZLA.cmake
@@ -23,7 +23,7 @@ endif()
 
 if(NOT BITWUZLA_INCLUDE_DIRS AND NOT BITWUZLA_LIBRARIES)
     find_path(BITWUZLA_INCLUDE_DIR
-      NAMES bitwuzla/bitwuzla.h
+      NAMES bitwuzla/bitwuzla.h bitwuzla/cpp/bitwuzla.h
       PATHS ${BITWUZLA_PKGCONF_INCLUDE_DIRS}
     )