80        vector<OptionValue*> values;
 
   85        if (
typeid(*option) == 
typeid(other)) {
 
   86            values.push_back(option);
 
   88            options_.insert(pair<
string, vector<OptionValue*> >(name, values));
 
   90            string procName = 
"Options::addOptionValue";
 
   92                "Type of new OptionValue differs from the type of old values";
 
   93            throw TypeMismatch(__FILE__, __LINE__, procName, errorMsg);
 
   96        vector<OptionValue*> values;
 
   97        values.push_back(option);
 
   98        options_.insert(pair<
string, vector<OptionValue*> >(name, values));