dev-lang/polyml/files/polyml-5.9-c++11.patch


1
2
3
4
5
6
7
8
9
10
11

--- a/libpolyml/xwindows.cpp	2023-01-22 10:40:35.855024465 +0100
+++ b/libpolyml/xwindows.cpp	2023-01-22 10:41:00.798613288 +0100
@@ -7274,7 +7274,7 @@
                              : printf("Old Display <%p>",P.AsAddress()));
             return;
             
-        default:         printf("Pointer "ZERO_X"%p",P.AsAddress());
+        default:         printf("Pointer %p",P.AsAddress());
             return;
         }
     }