From 8a4501e3599acbac6a6f8677d71fbb1d11ff980f Mon Sep 17 00:00:00 2001
From: Manos Koukoutos <emmanouil.koukoutos@epfl.ch>
Date: Tue, 19 May 2015 14:24:19 +0200
Subject: [PATCH] Add lib files to watcher
---
src/main/scala/leon/Main.scala | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/src/main/scala/leon/Main.scala b/src/main/scala/leon/Main.scala
index 5753d8642..b7a734523 100644
--- a/src/main/scala/leon/Main.scala
+++ b/src/main/scala/leon/Main.scala
@@ -224,7 +224,7 @@ object Main {
val doWatch = ctx.findOptionOrDefault(SharedOptions.optWatch)
if (doWatch) {
- val watcher = new FilesWatcher(ctx, ctx.files)
+ val watcher = new FilesWatcher(ctx, ctx.files ++ Build.libFiles.map{ new java.io.File(_)})
watcher.onChange {
execute(args, ctx)
}
--
GitLab