1 files changed, 1 insertions, 1 deletions
diff --git a/configure b/configure
index 7805ef02..ee8a1577 100755
--- a/configure
+++ b/configure
@@ -817,7 +817,7 @@ fi
 if [ "$arch" = "aarch64" ]; then # for aarch64 scheduling
 cat >> Makefile.config <<EOF
 ARCHDIRS=$arch scheduling/abstractbb scheduling/postpass_lib
-BACKENDLIB=Machblock.v Machblockgen.v Machblockgenproof.v OptionMonad.v IterList.v \\
+BACKENDLIB=Machblock.v Machblockgen.v Machblockgenproof.v IterList.v \\
     Asmblock.v Asmblockgen.v Asmblockgenproof0.v Asmblockgenproof1.v Asmblockgenproof.v Asm.v Asmblockprops.v\\
     ForwardSimulationBlock.v PostpassScheduling.v PostpassSchedulingproof.v\\
     Asmblockdeps.v\\