diff --git a/src/l0/codegen.rs b/src/l0/codegen.rs
index 75c630e7..42ad965d 100644
--- 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;