@@ -25,8 +25,9 @@
 			t.tick ~= (Timer sender, EventArgs ea){
 				fn(solver.single_step());
 			};
 			t.start();
+			this.closing ~= (Form f,CancelEventArgs c){t.stop();};
 		}
 		Application.run(this);
 	}