From: Mark Thom <markjordanthom@gmail.com>
Date: Sun, 22 Jan 2017 18:26:23 +0000 (-0700)
Subject: remove unnecessary Sized trait on CompilationTarget
X-Git-Tag: v0.8.110~785
X-Git-Url: https://git.sagredo.dev/?a=commitdiff_plain;h=e7af3dc57a46187df30d7381084c9bf026071dca;p=scryer-prolog.git

remove unnecessary Sized trait on CompilationTarget
---

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;