More errorlist adjustements.

[features.git] / src / BufferView.h

diff --git a/src/BufferView.h b/src/BufferView.h
index e2031947ff6eaf5e0fb91f34af87eb5ee9388489..3767c584dc79a0f9dd0db34c6d4764cd1603371e 100644 (file)
--- a/src/BufferView.h
+++ b/src/BufferView.h
@@ -157,10 +157,6 @@ public:
 
        /// get the stored error list
        ErrorList const & getErrorList() const;
-       /// clears the stored error list
-       void resetErrorList();
-       /// stored this  error list
-       void setErrorList(ErrorList const &);
        /// show the error list to the user
        void showErrorList(string const &) const;
        /// set the cursor based on the given TeX source row