diff --git a/src/main/scala/leon/Main.scala b/src/main/scala/leon/Main.scala
index 5753d8642406ad3f393efd82cdf0e0e1133d10bc..b7a73452388d8c4274a3590e4f6f19f82d9f2a2b 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)
       }