@@ -8,9 +8,8 @@
 void main(string[] args)
 {
 	Driver d = new Driver(stdin);
 	d.addObserver!(GuardedOutput)();
-//	auto g = d.addObserver!(GUI!MainSolver)();
-	auto g = d.addObserver!(GUI!Solver_0)();
+	auto g = d.addObserver!(GUI!MainSolver)();
 	g.set_fn(&d.command);
 	g.run();
 }