Fix a warning.

Z3_HEADER_VAR will disappear when the feature vcpkg is enabled.
prove-rs · Oct 13, 2023 · 0b30251 · 0b30251
1 parent 0df54a2
commit 0b30251
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/z3-sys/build.rs b/z3-sys/build.rs
@@ -1,5 +1,6 @@
 use std::env;
 
+#[cfg(not(feature = "vcpkg"))]
 const Z3_HEADER_VAR: &str = "Z3_SYS_Z3_HEADER";
 
 #[cfg(not(feature = "vcpkg"))]