--- a/src/TabularPrefetchingHandler.h	Sun Sep 09 21:01:33 2018 +0200
+++ b/src/TabularPrefetchingHandler.h	Sat Sep 15 22:52:16 2018 +0200
@@ -165,9 +165,9 @@
 		columnNames.resize(columnCount);
 		columnWidths.resize(columnCount, 0);
 		for (int i = 0; i < attributes.size(); i++) {
-			columnNames[i] = attributes[i].attributeName;
-			columnTypes[i] = attributes[i].typeId;
-			columnTypeCodes[i] = attributes[i].typeName;
+			columnNames[i] = attributes[i].getAttributeName();
+			columnTypes[i] = attributes[i].getTypeId();
+			columnTypeCodes[i] = attributes[i].getTypeName();
 		}
 	}