From: Mark Thom <markjordanthom@gmail.com>
Date: Fri, 12 Jan 2018 00:07:29 +0000 (-0700)
Subject: delete needless use
X-Git-Tag: v0.8.110~637
X-Git-Url: https://git.sagredo.dev/?a=commitdiff_plain;h=59ccf5d8e826ee72a6946547fa400c242d1b286f;p=scryer-prolog.git

delete needless use
---

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> {