Update propp.arff