From 2abde131c7d9ccc03acce8dd0a263f3433863089 Mon Sep 17 00:00:00 2001
From: Manos Koukoutos <emmanouil.koukoutos@epfl.ch>
Date: Wed, 6 May 2015 17:43:51 +0200
Subject: [PATCH] Restore --watch option

---
 src/main/scala/leon/SharedOptions.scala | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/main/scala/leon/SharedOptions.scala b/src/main/scala/leon/SharedOptions.scala
index 51a126189..49f480985 100644
--- a/src/main/scala/leon/SharedOptions.scala
+++ b/src/main/scala/leon/SharedOptions.scala
@@ -63,6 +63,7 @@ object SharedOptions extends LeonComponent {
     optFunctions,
     optSelectedSolvers,
     optDebug,
+    optWatch,
     optTimeout
   )
 }
-- 
GitLab