From bf0d8546542202cb017f567dbecb31e191e45cd6 Mon Sep 17 00:00:00 2001 From: Juergen Spitzmueller Date: Wed, 9 Apr 2014 11:29:40 +0200 Subject: [PATCH] Typo. Sorry. --- src/LaTeX.h | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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, ///