correct #215 by fixing bug in ambiguity_check

diff --git a/src/prolog/heap_print.rs b/src/prolog/heap_print.rs
index 97a9277db4205c62e30db3ec8567442bb889fbec..2c1ce6a01b851c1a3809139ac77f0951c4c1dcde 100644 (file)
--- 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) {