Okay, there are actually two issues: The one with the header and one
about const correctness of error_and_integral_is_less::operator(), which
should have been a const member function, I suppose, as it is used as
key_compare in a std::map<K,V,key_compare>. The proposed patch fixes the
first issue.
For the record: a patch for both issues is in upstream CVS, so
compilation ought to be fixed with the next release. Since this is only
an advance warning, I'll let things rest until the next release.
-richy.
--
.''`. Richard B. Kreckel
: :' : <[EMAIL PROTECTED]>
`. `' <[EMAIL PROTECTED]>
`- <http://www.ginac.de/~kreckel/>
--
To UNSUBSCRIBE, email to [EMAIL PROTECTED]
with a subject of "unsubscribe". Trouble? Contact [EMAIL PROTECTED]
