diff --git a/src/lib.rs b/src/lib.rs
index 09704f8d9a698cce85ffceac6b255ea80be302c4..3edc3df5c0f57aa19e00f277673cd7cb6c728232 100644
--- a/src/lib.rs
+++ b/src/lib.rs
@@ -38,7 +38,7 @@ pub fn kassume(cond: bool) {
 pub fn kassume(_cond: bool) {}
 
 #[cfg(feature = "klee-analysis")]
-pub fn kmksymbol<T>(t: &mut T, name: &CStr) {
+pub fn kmksymbol<T>(t: &mut T, name: &'static CStr) {
     unsafe {
         ll::klee_make_symbolic(
             t as *mut T as *mut c_void,
@@ -49,7 +49,7 @@ pub fn kmksymbol<T>(t: &mut T, name: &CStr) {
 }
 
 #[cfg(not(feature = "klee-analysis"))]
-pub fn kmksymbol<T>(_t: &mut T, _name: &CStr) {}
+pub fn kmksymbol<T>(_t: &mut T, _name: &'static CStr) {}
 
 #[macro_export]
 macro_rules! ksymbol {