tree eeeb7c8bbf14501af7eaea3b75237d2a6fd29d59
parent 0eb8b7eb296eb946cb964d916317f098c3f7a93a
author Tony Mack <tmack@paris.CS.Princeton.EDU> 1367361021 -0400
committer Tony Mack <tmack@paris.CS.Princeton.EDU> 1367361021 -0400

removing refrences to flavor