From db3183cacb132d7153f653e2c3ae20b92ddfc03c Mon Sep 17 00:00:00 2001
From: Sylvain Boulmé <sylvain.boulme@univ-grenoble-alpes.fr>
Date: Sat, 17 Oct 2020 15:43:14 +0200
Subject: fixing the move of the verified prepass scheduler into scheduling/
 directory

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

(limited to 'Makefile')

diff --git a/Makefile b/Makefile
index 5fc3997b..73b3a446 100644
--- a/Makefile
+++ b/Makefile
@@ -114,7 +114,7 @@ BACKEND=\
   $(BACKENDLIB)
 
 SCHEDULING= \
-  RTLpathLivegenproof.v    RTLpathSE_impl_junk.v \
+  RTLpathLivegenproof.v    RTLpathSE_simu_specs.v \
   RTLpathLivegen.v         RTLpathSE_impl.v \
   RTLpathproof.v           RTLpathSE_theory.v \
   RTLpathSchedulerproof.v  RTLpath.v \
-- 
cgit