X-Git-Url: https://git.lyx.org/gitweb/?a=blobdiff_plain;f=src%2Flyxlex.h;h=f1222d1a811a8a2e0f6c1688ff0d4ce2c38bc911;hb=35204f8f33d7400a5fefeffea533fb4cb4097211;hp=3dd942eea82c963bfccc5ca9ac5d356d5f382620;hpb=c46b7d89553209b8df4e9de392ee07ef711f092f;p=lyx.git

diff --git a/src/lyxlex.h b/src/lyxlex.h
index 3dd942eea8..f1222d1a81 100644
--- a/src/lyxlex.h
+++ b/src/lyxlex.h
@@ -17,12 +17,14 @@
 #ifndef LYXLEX_H
 #define LYXLEX_H
 
-#include "support/types.h"
+#include "support/docstring.h"
 
 #include <boost/utility.hpp>
 
 #include <iosfwd>
-#include <string>
+
+
+namespace lyx {
 
 
 ///
@@ -103,7 +105,7 @@ public:
 	std::string const getString() const;
 
 	///
-	lyx::docstring const getDocString() const;
+	docstring const getDocString() const;
 
 	/** Get a long string, ended by the tag `endtag'.
 	    This string can span several lines. The first line
@@ -136,6 +138,8 @@ public:
 
 	/// extract string
 	LyXLex & operator>>(std::string &);
+	/// extract docstring
+	LyXLex & operator>>(docstring &);
 	/// extract double
 	LyXLex & operator>>(double &);
 	/// extract integer
@@ -183,4 +187,7 @@ public:
 #define pushpophelper(x, y, z) unnamed_pushpophelper;
 // Tip gotten from Bobby Schmidt's column in C/C++ Users Journal
 
+
+} // namespace lyx
+
 #endif