🐛 fix regression on emulated platforms

Signed-off-by: burgholzer <burgholzer@me.com>
cda-tum · Aug 10, 2024 · f61fc74 · f61fc74
1 parent 79a864b
commit f61fc74
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/cmake/try_z3.cpp b/cmake/try_z3.cpp
@@ -1,5 +1,5 @@
 #include <iostream>
-#include <z3_api.h> // IWYU pragma: keep
+#include <z3.h>
 
 int main() {
   std::cout << Z3_get_full_version();