1 files changed, 1 insertions, 1 deletions

diff --git a/configure b/configure
index 14c924d0..ef3e96e8 100755
--- a/configure
+++ b/configure
@@ -846,7 +846,7 @@ ARCHDIRS=$arch
 BACKENDLIB=Machblock.v Machblockgen.v Machblockgenproof.v OptionMonad.v IterList.v PseudoAsmblock.v PseudoAsmblockproof.v\\
     Asmblock.v Asmblockgen.v Asmblockgenproof.v Asm.v Asmblockprops.v\\
     ForwardSimulationBlock.v PostpassScheduling.v PostpassSchedulingproof.v\\
-    Asmblockdeps.v\\
+    Asmblockdeps.v Peephole.v\\
     AbstractBasicBlocksDef.v SeqSimuTheory.v ImpSimuTest.v Parallelizability.v\\
     ImpConfig.v ImpCore.v ImpExtern.v ImpHCons.v ImpIO.v ImpLoops.v ImpMonads.v ImpPrelude.v
     # TODO: UPDATE THIS