diff --git a/src/front/mod.rs b/src/front/mod.rs
index b37b51a7..ea9be5ea 100644
--- a/src/front/mod.rs
+++ b/src/front/mod.rs
@@ -2,6 +2,7 @@
 
 #[cfg(feature = "c")]
 pub mod c;
+#[cfg(all(feature = "smt", feature = "datalog"))]
 pub mod datalog;
 #[cfg(all(feature = "smt", feature = "zok"))]
 pub mod zsharp;