Unify naming of menu items

[features.git] / src / LaTeX.h

diff --git a/src/LaTeX.h b/src/LaTeX.h
index 4899cd6bd8cbe0c7289616ec9fac18b9960df039..c57b03b830743cf649a17b622465f06fd49a22aa 100644 (file)
--- a/src/LaTeX.h
+++ b/src/LaTeX.h
@@ -16,7 +16,7 @@
 
 #include "OutputParams.h"
 
-#include "support/docstring.h"
+#include "support/strfwd.h"
 #include "support/FileName.h"
 #include "support/signals.h"
 
@@ -155,6 +155,8 @@ public:
                ///
                INDEX_ERROR = 65536,
                ///
+               UNDEF_UNKNOWN_REF = 131072,
+               ///
                ERRORS = TEX_ERROR + LATEX_ERROR + NONZERO_ERROR + BIBTEX_ERROR + INDEX_ERROR,
                ///
                WARNINGS = TEX_WARNING + LATEX_WARNING + PACKAGE_WARNING