1 files changed, 11 insertions, 0 deletions
diff --git a/lang/polyml/files/patch-libpolyml_xwindows.cpp b/lang/polyml/files/patch-libpolyml_xwindows.cpp
new file mode 100644
index 000000000000..da35f2ccb983
--- /dev/null
+++ b/lang/polyml/files/patch-libpolyml_xwindows.cpp
@@ -0,0 +1,11 @@
+--- libpolyml/xwindows.cpp.orig	2020-07-17 08:44:22 UTC
++++ libpolyml/xwindows.cpp
+@@ -7302,7 +7302,7 @@ static void DebugPrintWord(PolyWord P /* was X_Object 
+                              : printf("Old Display <%p>",P.AsAddress()));
+             return;
+             
+-        default:         printf("Pointer "ZERO_X"%p",P.AsAddress());
++        default:         printf("Pointer 'ZERO_X' %p", P.AsAddress());
+             return;
+         }
+     }