1 files changed, 1 insertions, 1 deletions
diff --git a/configure b/configure
index 1d457fc7..79317960 100755
--- a/configure
+++ b/configure
@@ -804,7 +804,7 @@ cat >> Makefile.config <<EOF
 ARCHDIRS=$arch $arch/lib
 BACKENDLIB=Machblock.v Machblockgen.v Machblockgenproof.v\
     Asmblock.v Asmblockgen.v Asmblockgenproof0.v Asmblockgenproof1.v Asmblockgenproof.v\
-    ForwardSimulationBlock.v
+    ForwardSimulationBlock.v PostpassScheduling.v PostpassSchedulingproof.v
 EOF
 fi