branch | v_0 |
changeset 8 | 3103333af024 |
parent 7 | 2057919937fa |
child 9 | 86d69cfbacc9 |
--- 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<std::codecvt_utf8<wchar_t>> 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";