1.1 --- a/main_win.h	Tue Jan 03 17:30:22 2006 +0000
     1.2 +++ b/main_win.h	Wed Jan 04 11:41:58 2006 +0000
     1.3 @@ -27,6 +27,8 @@
     1.4    std::vector<NoteBookTab *> tabs;
     1.5    std::vector<std::string> tabnames;
     1.6  
     1.7 +  std::map<std::string, int> strinst;
     1.8 +
     1.9    std::set< AlgoWin* > aws;
    1.10  
    1.11  public: