remove unnecessary Sized trait on CompilationTarget
@@ -31,7 +31,7 @@ fn fmt(&self, f: &mut fmt::Formatter) -> fmt::Result {
}
}
-pub trait CompilationTarget<'a> where Self : Sized {
+pub trait CompilationTarget<'a> {
type Iterator : Iterator<Item=&'a Term>;
fn iter(term: &'a Term) -> Self::Iterator;
