1 files changed, 1 insertions, 1 deletions

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 \