Account for old versions of Pygments

[lyx.git] / src / PDFOptions.h

diff --git a/src/PDFOptions.h b/src/PDFOptions.h
index 756c2f70a4e37482dc8be9c84853b47f17c9c2b1..d74caf430e638c65cd353970b6bdc0f2554113df 100644 (file)
--- a/src/PDFOptions.h
+++ b/src/PDFOptions.h
@@ -142,14 +142,6 @@ public:
                * are checked.
                */
        std::string quoted_options_check(std::string const & str) const;
-       
-       
-       /**
-               * Flag indicating whether user made some input into PDF preferences.
-               * We want to save options, when user decide to switch off PDF support
-               * for a while.
-               */
-       bool store_options;
 };
 
 } // namespace lyx