remove unnecessary Sized trait on CompilationTarget

diff --git a/src/l0/codegen.rs b/src/l0/codegen.rs
index 75c630e7806667ca7d02ca3d4d513922c018efe1..42ad965d798940b1fb353d6d35a84b769ff35e3c 100644 (file)
--- a/src/l0/codegen.rs
+++ b/src/l0/codegen.rs
@@ -31,7 +31,7 @@ impl fmt::Display for FactInstruction {
     }
 }
 
-pub trait CompilationTarget<'a> where Self : Sized {
+pub trait CompilationTarget<'a> {
     type Iterator : Iterator<Item=&'a Term>;
     
     fn iter(term: &'a Term) -> Self::Iterator;