remove commented out print_term

diff --git a/src/prolog/machine/mod.rs b/src/prolog/machine/mod.rs
index fb5089a719d5bed04bac69ef3e4dc2153f038455..52a53f6786cd33896a739d09842522ca65b5e6d1 100644 (file)
--- 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 {