summaryrefslogtreecommitdiff
path: root/dev-lang/polyml/files
diff options
context:
space:
mode:
authorV3n3RiX <venerix@koprulu.sector>2023-01-22 18:53:31 +0000
committerV3n3RiX <venerix@koprulu.sector>2023-01-22 18:53:31 +0000
commitb1f98aa670604171034e19240220430da70a7282 (patch)
tree7d4b54cd24e6817d32c3be36091ddaa4db70c8e5 /dev-lang/polyml/files
parent736633fa866abdd7c155cabb02adf278c5237640 (diff)
gentoo auto-resync : 22:01:2023 - 18:53:30
Diffstat (limited to 'dev-lang/polyml/files')
-rw-r--r--dev-lang/polyml/files/polyml-5.9-c++11.patch11
1 files changed, 11 insertions, 0 deletions
diff --git a/dev-lang/polyml/files/polyml-5.9-c++11.patch b/dev-lang/polyml/files/polyml-5.9-c++11.patch
new file mode 100644
index 000000000000..4f750fe5a0fb
--- /dev/null
+++ b/dev-lang/polyml/files/polyml-5.9-c++11.patch
@@ -0,0 +1,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;
+ }
+ }