diff --git a/keylime-agent/src/main.rs b/keylime-agent/src/main.rs
index 63336520..1d6fdf44 100644
--- a/keylime-agent/src/main.rs
+++ b/keylime-agent/src/main.rs
@@ -3,7 +3,6 @@
 
 #![deny(
     nonstandard_style,
-    const_err,
     dead_code,
     improper_ctypes,
     non_shorthand_field_patterns,