From e7af3dc57a46187df30d7381084c9bf026071dca Mon Sep 17 00:00:00 2001
From: Mark Thom <markjordanthom@gmail.com>
Date: Sun, 22 Jan 2017 11:26:23 -0700
Subject: [PATCH] remove unnecessary Sized trait on CompilationTarget

---
 src/l0/codegen.rs | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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;
-- 
2.54.0