diff --git a/crates/pindakaas-cadical/build.rs b/crates/pindakaas-cadical/build.rs
index daa642ff5..efc349b52 100644
--- a/crates/pindakaas-cadical/build.rs
+++ b/crates/pindakaas-cadical/build.rs
@@ -21,6 +21,7 @@ fn main() {
 		"vendor/cadical/src/decide.cpp",
 		"vendor/cadical/src/decompose.cpp",
 		"vendor/cadical/src/deduplicate.cpp",
+		"vendor/cadical/src/drattracer.cpp",
 		"vendor/cadical/src/elim.cpp",
 		"vendor/cadical/src/ema.cpp",
 		"vendor/cadical/src/extend.cpp",