Backtrack restart not available any more

Thanks to @jvpeetz for spotting this!
msoos · May 31, 2018 · 61e28ce · 61e28ce
1 parent 88a45f9
commit 61e28ce
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/main.cpp b/src/main.cpp
@@ -326,7 +326,7 @@ void Main::add_supported_options()
     po::options_description restartOptions("Restart options");
     restartOptions.add_options()
     ("restart", po::value<string>()
-        , "{geom, glue, luby, backtrack}  Restart strategy to follow.")
+        , "{geom, glue, luby}  Restart strategy to follow.")
     ("gluehist", po::value(&conf.shortTermHistorySize)->default_value(conf.shortTermHistorySize)
         , "The size of the moving window for short-term glue history of redundant clauses. If higher, the minimal number of conflicts between restarts is longer")
     ("blkrest", po::value(&conf.do_blocking_restart)->default_value(conf.do_blocking_restart)