# HG changeset patch # User František Kučera # Date 1537101239 -7200 # Node ID 3103333af024c797e333921ab8acad07b91e5a7b # Parent 2057919937fa75d8badb1bb2a651587563a9b407 remove unused constant diff -r 2057919937fa -r 3103333af024 src/TabularPrefetchingHandler.h --- a/src/TabularPrefetchingHandler.h Sat Sep 15 22:52:16 2018 +0200 +++ b/src/TabularPrefetchingHandler.h Sun Sep 16 14:33:59 2018 +0200 @@ -22,7 +22,6 @@ class TabularPrefetchingHandler : public handlers::RelationalReaderStringHadler { private: std::wstring_convert> convertor; // TODO: support also other encodings. - const char* INDENTATION = " "; const char* ESC_BRIGHT = "\u001b[1m"; const char* ESC_RED = "\u001b[31m"; const char* ESC_GREEN = "\u001b[32m";