From: Mark Thom <markjordanthom@gmail.com>
Date: Sun, 7 Apr 2019 17:49:21 +0000 (-0600)
Subject: re: conformity test #181
X-Git-Tag: v0.8.110~107
X-Git-Url: https://git.sagredo.dev/?a=commitdiff_plain;h=8963936f0c278692ecb6e86c0ce5a2bc53da6cac;p=scryer-prolog.git

re: conformity test #181
---

diff --git a/Cargo.toml b/Cargo.toml
index fe8d4343..5c5238ac 100644
--- a/Cargo.toml
+++ b/Cargo.toml
@@ -1,6 +1,6 @@
 [package]
 name = "scryer-prolog"
-version = "0.8.48"
+version = "0.8.49"
 authors = ["Mark Thom <markjordanthom@gmail.com>"]
 repository = "https://github.com/mthom/scryer-prolog"
 description = "A modern Prolog implementation written mostly in Rust."
diff --git a/src/prolog/heap_print.rs b/src/prolog/heap_print.rs
index 78abd8d4..80e8db42 100644
--- a/src/prolog/heap_print.rs
+++ b/src/prolog/heap_print.rs
@@ -470,9 +470,8 @@ impl<'a, Outputter: HCValueOutputter> HCPrinter<'a, Outputter>
         let right_directed_op = DirectedOp::Right(name.clone(), spec.clone());
 
         self.state_stack.push(TokenOrRedirect::CompositeRedirect(left_directed_op));
-        self.state_stack.push(TokenOrRedirect::Space);
-        self.state_stack.push(TokenOrRedirect::Op(name.clone(), spec));
-        self.state_stack.push(TokenOrRedirect::Space);
+        // self.state_stack.push(TokenOrRedirect::Op(name.clone(), spec));
+        self.state_stack.push(TokenOrRedirect::HeadTailSeparator);
         self.state_stack.push(TokenOrRedirect::CompositeRedirect(right_directed_op));
     }