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)); }