re: conformity test #181

diff --git a/Cargo.toml b/Cargo.toml
index fe8d43433e2bcbe8f9fac873db0ec733bed2079c..5c5238ace7237e913684ce0f4f340727ad9ccd85 100644 (file)
--- 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 <[email protected]>"]
 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 78abd8d4eb3539186e3c4cb37bee4a951bec6749..80e8db42c6f124ddae80cd2e82c22fca934bc72d 100644 (file)
--- 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));
     }