diff --git a/src/main/scala/leon/SharedOptions.scala b/src/main/scala/leon/SharedOptions.scala
index 51a12618958bc3085de4d76007679822dba63674..49f4809857f86151e0607e8692c9b67475e92169 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
   )
 }