Fixed help for tear-down-incremental option

diff --git a/src/options/main_options b/src/options/main_options
index 7ec4fedb3bcd1b722a20ece3809be3b606f934d2..0fa799df2f9733db998c5310729bdd513fd210d9 100644 (file)
--- a/src/options/main_options
+++ b/src/options/main_options
@@ -54,8 +54,8 @@ option segvSpin --segv-spin bool :default false
  spin on segfault/other crash waiting for gdb
 undocumented-alias --segv-nospin = --no-segv-spin
 
-expert-option tearDownIncremental : --tear-down-incremental int :default 0
- implement PUSH/POP/multi-query by destroying and recreating SmtEngine
+expert-option tearDownIncremental : --tear-down-incremental=N int :default 0
+ implement PUSH/POP/multi-query by destroying and recreating SmtEngine every N queries
 
 expert-option waitToJoin --wait-to-join bool :default true
  wait for other threads to join before quitting