@@ -18,8 +18,8 @@
 void main(string[] args)
 {
 	Driver d = new Driver(stdin);
 	d.addObserver!(GuardedOutput)();
-	auto c = d.addObserver!(CUI!Solver_1)();
+	auto c = d.addObserver!(CUI!MainSolver)();
 	while(!c.fin)
 		d.command(c.solver.single_step());
 }