@@ -8,18 +8,15 @@
 {
 	this(in Game g) { solver = new Solver(g); }
 	Solver solver;
 	bool fin;
-	override void on_game_changed(char c, in Game g, bool finished)
-	{
-		fin = finished;
-	}
+	override void on_game_changed(char c, in Game g, bool finished) { fin = finished; }
 }
 
-void main(string[] args)
+void main()
 {
-	Driver d = new Driver(stdin);
+	auto d = new Driver(stdin);
 	d.addObserver!(GuardedOutput)();
 	auto c = d.addObserver!(CUI!MainSolver)();
 	while(!c.fin)
 		d.command(c.solver.single_step());
 }