#
#
# patch "dates.cc"
#  from [5eac0df95336a0b32734702fc09a4ec4bd49d468]
#    to [eabcdf9b87e2d28ea4d8521f51262e0200ff61b2]
#
============================================================
--- dates.cc	5eac0df95336a0b32734702fc09a4ec4bd49d468
+++ dates.cc	eabcdf9b87e2d28ea4d8521f51262e0200ff61b2
@@ -310,11 +310,10 @@ date_t
 // (not even just yacc).
 
 date_t
-date_t::from_string(string const & s)
+date_t::from_string(string const & d)
 {
   try
     {
-      const string d = s;
       size_t i = d.size() - 1;  // last character of the array
 
       // check the first character which is not a digit