src-gu/mir-reasoner/src/reasoner/LocalReasoner.java
//Deletes (most) unncessary characters in the provenance
Deletes (most) unncessary characters in the provenance
Deletes ( most ) unncessary characters in the provenance
private void cleanProvenance(){
		for(Map.Entry<TaxonPair, String> entry : provenance.entrySet()){
			String value = entry.getValue();
			if(value.length() > 5){
				value = value.substring(0, value.length() - 2);
				provenance.put(entry.getKey(), value);
			}
		}
	}
private void cleanProvenance ( ) { for ( Map . Entry < TaxonPair , String > entry : provenance . entrySet ( ) ) { String value = entry . getValue ( ) ; if ( value . length ( ) > 5 ) { value = value . substring ( 0 , value . length ( ) - 2 ) ; provenance . put ( entry . getKey ( ) , value ) ; } } }
Deletes (most) unncessary characters in the provenance
Deletes ( most ) unncessary characters in the provenance