diff --git a/Makefile b/Makefile
index d46ff6208..2f555a797 100644
--- a/Makefile
+++ b/Makefile
@@ -730,6 +730,7 @@ OBJS += passes/cmds/splitcells.o
 OBJS += passes/cmds/splitfanout.o
 OBJS += passes/cmds/splitnets.o
 OBJS += passes/cmds/tee.o
+OBJS += passes/sat/sim.o
 
 include $(YOSYS_SRC)/passes/hierarchy/Makefile.inc
 include $(YOSYS_SRC)/passes/memory/Makefile.inc