From 8963936f0c278692ecb6e86c0ce5a2bc53da6cac Mon Sep 17 00:00:00 2001 From: Mark Thom Date: Sun, 7 Apr 2019 11:49:21 -0600 Subject: [PATCH] re: conformity test #181 --- Cargo.toml | 2 +- src/prolog/heap_print.rs | 5 ++--- 2 files changed, 3 insertions(+), 4 deletions(-) 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 "] 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)); } -- 2.54.0