Fix missing source file in pindakaas-cadical

pindakaashq · Apr 4, 2024 · 178b783 · 178b783
1 parent 5c6146e
commit 178b783
Showing 1 changed file with 1 addition and 0 deletions.
diff --git 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",