Also solve when no artificial variables are needed...?HEADmaster

1 files changed, 2 insertions, 0 deletions

diff --git a/problem.cpp b/problem.cpp
index 3eb7ecc..c8238f7 100644
--- a/problem.cpp
+++ b/problem.cpp
@@ -105,6 +105,8 @@ void Problem::solve(){
 		cerr<<" === SOLVING ORIGINAL PROBLEM ==="<<endl;
 #endif
 		solve_noart();
+	} else {
+		solve_noart();
 	}
 }