diff --git a/passes/sat/Makefile.inc b/passes/sat/Makefile.inc
index 11a415ba4..d9bf69dcb 100644
--- a/passes/sat/Makefile.inc
+++ b/passes/sat/Makefile.inc
@@ -15,7 +15,6 @@ OBJS += passes/sat/supercover.o
 OBJS += passes/sat/fmcombine.o
 OBJS += passes/sat/mutate.o
 OBJS += passes/sat/cutpoint.o
-OBJS += passes/sat/struct_partition.o
 OBJS += passes/sat/fminit.o
 OBJS += passes/sat/recover_names.o
 ifeq ($(DISABLE_SPAWN),0)