Warning resolution: even Armin's indentation is sometimes weird

ModelWriter · Oct 12, 2016 · c730d03 · c730d03
1 parent 5f0fe31
commit c730d03
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/SAT/lglib.c b/SAT/lglib.c
@@ -19115,7 +19115,8 @@ static DFPR * lglstampall (LGL * lgl, int irronly) {
       if (rootsonly &&
 	  !lglunhdisroot (lgl, root, dfpr, irronly)) goto CONTINUE;
       if (!lglunhdhasbins (lgl, dfpr, -root, irronly)) {
-	if (rootsonly) noimpls++; goto CONTINUE;
+	if (rootsonly) noimpls++;
+	goto CONTINUE;
       }
       if (rootsonly) roots++;
       searches++;