Clear CoppaDF12 (PLDI '12)
Merge pull request #18 from Blaisorblade/clearCoppaDF12

Clear CoppaDF12 (PLDI '12)