>>>>> "Lars" == Lars Gullik Bjønnes <[EMAIL PROTECTED]> writes:
Lars> and I just realized that the exact same argument can be used for
Lars> a operator!=, anyway we should check for this need in configure
Lars> and only add workarounds when needed.
BTW why do we have in ParPosition
///
ParagraphList::iterator pit;
///
ParagraphList const * plist;
I.e., why is one const and not the other? Is pit an iterator into
plist? In this case it should be a const_iterator, isn't it?
But since a const iterator is not good enough, doesn't this mean that
plist should not be const?
JMarc
