Georg Baum <[EMAIL PROTECTED]> writes: | Am Mittwoch, 13. September 2006 20:50 schrieb Lars Gullik Bjønnes: | > Georg Baum <[EMAIL PROTECTED]> writes: | > | Index: src/support/types.h | > | =================================================================== | > | --- src/support/types.h (Revision 14987) | > | +++ src/support/types.h (Arbeitskopie) | > | @@ -18,19 +18,20 @@ | > | | > | #include "docstring.h" | > | | > | -#include <boost/cstdint.hpp> | > | > this us used below, you cannot delete it. | | It is included in docstring.h. Do you still think I should not delete it?
Hmmm why is types.h in docstring again? It shouldn't be in docstring if lyx::char_type is used there. Then it should be switched around. -- Lgb