diff --git a/src/cad/gcs/GlobalSolver.java b/src/cad/gcs/GlobalSolver.java
index dda4f555..61c38eae 100644
--- a/src/cad/gcs/GlobalSolver.java
+++ b/src/cad/gcs/GlobalSolver.java
@@ -39,7 +39,9 @@ public class GlobalSolver {
           Solver.SubSystem shrunk = shrink(subSystem);
           triedShrink = true;
           globalSolve(shrunk, linearSolvedCallback);
-        } 
+        } else {
+          return;
+        }
       }
       linearSolvedCallback.run();
     }