From 113b3e02ce4b707019a384f9515e93d878614f8f Mon Sep 17 00:00:00 2001 From: AdvaySingh1 Date: Thu, 26 Mar 2026 16:59:58 -0700 Subject: [PATCH] Removed adding struct partition object file --- passes/sat/Makefile.inc | 1 - 1 file changed, 1 deletion(-) 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)