#include <vector>
class Buffer;
-class TeXErrors;
/// A class to hold an error item
struct ErrorItem {
{
public:
ErrorList() : std::vector<ErrorItem> () {};
- ErrorList(Buffer const & buf, TeXErrors const &);
using std::vector<ErrorItem>::push_back;
using std::vector<ErrorItem>::end;