1.1 --- a/all_include.h	Fri Jun 17 14:20:49 2005 +0000
     1.2 +++ b/all_include.h	Fri Jun 17 14:53:28 2005 +0000
     1.3 @@ -24,8 +24,8 @@
     1.4  
     1.5  
     1.6  #ifndef MAIN_PART
     1.7 -extern std::string * property_strings;
     1.8 -extern double * property_defaults;
     1.9 +extern std::vector <std::string> property_strings;
    1.10 +extern std::vector <double> property_defaults;
    1.11  #endif //MAIN_PART
    1.12  
    1.13  using namespace lemon;