From ef13af6ccc39cd9034c837e77462b8ed2fce43a1 Mon Sep 17 00:00:00 2001
From: Tom Smeding <tom.smeding@gmail.com>
Date: Thu, 8 Nov 2018 09:46:32 +0100
Subject: Also solve when no artificial variables are needed...?

---
 problem.cpp | 2 ++
 1 file changed, 2 insertions(+)

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();
 	}
 }
 
-- 
cgit v1.2.3