diff options
Diffstat (limited to 'frontend/print.h')
| -rw-r--r-- | frontend/print.h | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/frontend/print.h b/frontend/print.h index 6b526ae..b8034f2 100644 --- a/frontend/print.h +++ b/frontend/print.h @@ -16,12 +16,12 @@ private: virtual ~SessionLog() = default; public: - virtual void append(const std::string & str); - virtual void append(const char * str); - virtual void append(const char * buf, size_t buf_size); + virtual void append(const std::string & str) const; + virtual void append(const char * str) const; + virtual void append(const char * buf, size_t buf_size) const; private: std::unique_ptr<FILE, std::function<void(FILE*)>> file = nullptr; - static constexpr bool enable = true; + static constexpr const bool enable = false; }; |