gui/kruskalbox.h
changeset 1879 01d41844ef46
parent 1878 409a31271efd
child 1896 92ef660710f1
     1.1 --- a/gui/kruskalbox.h	Thu Jan 05 12:30:09 2006 +0000
     1.2 +++ b/gui/kruskalbox.h	Thu Jan 05 16:54:34 2006 +0000
     1.3 @@ -13,6 +13,8 @@
     1.4  
     1.5  class KruskalBox : public AlgoBox
     1.6  {
     1.7 +  Gtk::Label resultlabel;
     1.8 +
     1.9  public:
    1.10    KruskalBox(std::vector<std::string> t);
    1.11