diff --git a/src/prolog/arithmetic.rs b/src/prolog/arithmetic.rs
index cba7415f..5ccb7972 100644
--- 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 d2d26fcd..075ac3bb 100644
--- 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> {