diff -r 3a263e57e1d9 -r 623ae8ed0877 main_win.h
--- a/main_win.h	Tue Jan 03 17:30:22 2006 +0000
+++ b/main_win.h	Wed Jan 04 11:41:58 2006 +0000
@@ -27,6 +27,8 @@
   std::vector<NoteBookTab *> tabs;
   std::vector<std::string> tabnames;
 
+  std::map<std::string, int> strinst;
+
   std::set< AlgoWin* > aws;
 
 public: