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<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";