From: Mark Thom <markjordanthom@gmail.com>
Date: Sun, 14 Jan 2018 04:53:38 +0000 (-0700)
Subject: remove commented out print_term
X-Git-Tag: v0.8.110~631
X-Git-Url: https://git.sagredo.dev/?a=commitdiff_plain;h=d1a1463ff29d97511c32c2f91a9e9dfb095bb7c8;p=scryer-prolog.git

remove commented out print_term
---

diff --git a/src/prolog/machine/mod.rs b/src/prolog/machine/mod.rs
index fb5089a7..52a53f67 100644
--- a/src/prolog/machine/mod.rs
+++ b/src/prolog/machine/mod.rs
@@ -355,7 +355,6 @@ impl Machine {
         printer.print()
     }
 
-    // NEW ---
     fn print_term(&self, addr: &Addr) -> String
     {
         match addr {