From 0c5bf1fd0ec307a3b51d59d19e99c997b66c67f8 Mon Sep 17 00:00:00 2001
From: Léo Gourdin <leo.gourdin@univ-grenoble-alpes.fr>
Date: Tue, 8 Dec 2020 17:10:39 +0100
Subject: Ocaml peephole oracle and array datastruct instead of lists

---
 configure | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'configure')

diff --git a/configure b/configure
index ef3e96e8..14c924d0 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 Peephole.v\\
+    Asmblockdeps.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
-- 
cgit