Fix build error on macos

JonathanSalwan · Oct 1, 2024 · e9c72de · e9c72de
1 parent 0648bb9
commit e9c72de
Showing 1 changed file with 1 addition and 1 deletion.
diff --git 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}
     )