diff --git a/src/LaTeX.h b/src/LaTeX.h index eeb7d042f5..a4fcecdf2d 100644 --- a/src/LaTeX.h +++ b/src/LaTeX.h @@ -140,7 +140,7 @@ public: BIBTEX_ERROR = 16384, /// //FIXME: BIBTEX_ERROR has been removed from ERRORS for now, since users were irritated - // about those errors which prevented compilation ofpreviously compiling documents. + // about those errors which prevented compilation of previously compiling documents. // Think about a "gentle" transfer to BibTeX error reporting. ERRORS = TEX_ERROR + LATEX_ERROR, ///