delete needless use

diff --git a/src/prolog/arithmetic.rs b/src/prolog/arithmetic.rs
index cba7415f5c219ac5ce79abafc97c6f716adf0a08..5ccb7972d92e91458f4bba23541191c197602151 100644 (file)
--- a/src/prolog/arithmetic.rs
+++ b/src/prolog/arithmetic.rs
@@ -2,7 +2,6 @@ use prolog::ast::*;
 use prolog::fixtures::*;
 
 use std::cmp::{min, max};
-use std::rc::Rc;
 use std::vec::Vec;
 
 pub struct ArithExprIterator<'a> {

diff --git a/src/prolog/codegen.rs b/src/prolog/codegen.rs
index d2d26fcd7684a31f28599d10645027bbb66fab0d..075ac3bbfba72132a04d75b0142c3162ecbbde37 100644 (file)
--- a/src/prolog/codegen.rs
+++ b/src/prolog/codegen.rs
@@ -9,7 +9,6 @@ use prolog::targets::*;
 use std::cell::Cell;
 use std::collections::HashMap;
 use std::mem::swap;
-use std::rc::Rc;
 use std::vec::Vec;
 
 pub struct CodeGenerator<'a, TermMarker> {