diff --git a/VERSION b/VERSION index 99c8f37..66dd59a 100644 --- a/VERSION +++ b/VERSION @@ -1 +1 @@ -1.5.189 +1.5.190 diff --git a/tcltk/tclnetgen.c b/tcltk/tclnetgen.c index cd6b262..bbbe762 100644 --- a/tcltk/tclnetgen.c +++ b/tcltk/tclnetgen.c @@ -2428,6 +2428,8 @@ _netcmp_run(ClientData clientData, else { enable_interrupt(); while (!Iterate() && !InterruptPending); + ExhaustiveSubdivision = 1; + while (!Iterate() && !InterruptPending); if (dolist) { result = _netcmp_verify(clientData, interp, 2, objv - 1); } @@ -2446,6 +2448,8 @@ _netcmp_run(ClientData clientData, else { enable_interrupt(); while (!Iterate() && !InterruptPending); + ExhaustiveSubdivision = 1; + while (!Iterate() && !InterruptPending); automorphisms = VerifyMatching(); if (automorphisms == -1) Fprintf(stdout, "Netlists do not match.\n");