From a69f9c2c04b74740356994d1eb54254d7b41afb7 Mon Sep 17 00:00:00 2001
From: Val Erastov <xibyte@gmail.com>
Date: Mon, 29 Sep 2014 21:38:33 -0700
Subject: [PATCH] fix hanging

---
 src/cad/gcs/GlobalSolver.java | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

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();
     }