From 2b053ceeffdfeb5006d9c4de334b66a66f2c74d7 Mon Sep 17 00:00:00 2001
From: Dominik Harz <dominik.harz@gmail.com>
Date: Thu, 8 Nov 2018 11:12:47 +0000
Subject: Fix cmake Z3 import issue for Fedora

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

diff --git a/cmake/FindZ3.cmake b/cmake/FindZ3.cmake
index 704f367e..c017cac2 100644
--- a/cmake/FindZ3.cmake
+++ b/cmake/FindZ3.cmake
@@ -1,5 +1,5 @@
 if (USE_Z3)
-    find_path(Z3_INCLUDE_DIR z3++.h)
+    find_path(Z3_INCLUDE_DIR NAMES z3++.h PATH_SUFFIXES z3)
     find_library(Z3_LIBRARY NAMES z3 )
     include(FindPackageHandleStandardArgs)
     find_package_handle_standard_args(Z3 DEFAULT_MSG Z3_LIBRARY Z3_INCLUDE_DIR)
-- 
cgit v1.2.3