From: Mark Thom <markjordanthom@gmail.com>
Date: Sun, 27 Oct 2019 18:32:18 +0000 (-0600)
Subject: correct #215 by fixing bug in ambiguity_check
X-Git-Tag: v0.8.116~12
X-Git-Url: https://git.sagredo.dev/?a=commitdiff_plain;h=0fdf0d8d06d2fa604ecf80848957ab5c076a516d;p=scryer-prolog.git

correct #215 by fixing bug in ambiguity_check
---

diff --git a/src/prolog/heap_print.rs b/src/prolog/heap_print.rs
index 97a9277d..2c1ce6a0 100644
--- a/src/prolog/heap_print.rs
+++ b/src/prolog/heap_print.rs
@@ -329,7 +329,7 @@ pub fn requires_space(atom: &str, op: &str) -> bool {
             .next()
             .map(|oc| {
                 if ac == '0' {
-                    oc == 'b' || oc == 'x' || oc == 'o' || oc == '\''
+                    oc == 'b' || oc == 'x' || oc == 'o' || oc == '\'' || alpha_numeric_char!(oc)
                 } else if alpha_numeric_char!(ac) {
                     oc == '(' || alpha_numeric_char!(oc)
                 } else if graphic_token_char!(ac) {