rug:: a change to -rugv CLI option now acts immediately

2020-04-09 07:40:47 +02:00 · 2020-04-09 07:40:47 +02:00 · 19c7c63677
parent cb25dd27be
commit 19c7c63677
1 changed files with 1 additions and 0 deletions
--- a/rug.cpp
+++ b/rug.cpp
@ -2035,6 +2035,7 @@ int rugArgs() {

  else if(argis("-rugv")) {
    shift(); vertex_limit = argi();
+    err_zero_current = err_zero;
    }

  else if(argis("-rugon")) {