# # # patch "work.cc" # from [c2eb088a9d60ee59d93153644a40a9421aab6716] # to [011b556348e11e62b0a8d08bba3f6675bf293567] # ============================================================ --- work.cc c2eb088a9d60ee59d93153644a40a9421aab6716 +++ work.cc 011b556348e11e62b0a8d08bba3f6675bf293567 @@ -648,7 +648,7 @@ parser.sym(opt); parser.str(val); // options[opt] = val; - // use non-replacing insert verses replacing with options[opt] = val; + // use non-replacing insert versus replacing with options[opt] = val; options.insert(make_pair(opt, val)); } }