Update hashnmeasure.v