diff --git a/src/Buffer.h b/src/Buffer.h index 7296a8f366..7c4fc656a1 100644 --- a/src/Buffer.h +++ b/src/Buffer.h @@ -15,10 +15,9 @@ #include "insets/InsetCode.h" #include "support/FileName.h" -#include "support/limited_stack.h" -#include "support/types.h" #include "support/docstring.h" #include "support/docstream.h" +#include "support/types.h" #include #include