Updated to latest version of CaDiCaL

VerifiableRobotics · Aug 22, 2024 · d355dce · d355dce
1 parent 13218b5
commit d355dce
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/src/Makefile b/src/Makefile
@@ -58,6 +58,7 @@ OBJECTS       = main.o \
 		../lib/cadical/src/instantiate.o \
 		../lib/cadical/src/internal.o \
 		../lib/cadical/src/ipasir.o \
+                ../lib/cadical/src/lidruptracer.o \
 		../lib/cadical/src/limit.o \
 		../lib/cadical/src/logging.o \
 		../lib/cadical/src/lookahead.o \