Initial commit

1 files changed, 13 insertions, 0 deletions

diff --git a/workaround-gnat-bug.patch b/workaround-gnat-bug.patch
new file mode 100644
index 000000000000..bd4326016e18
--- /dev/null
+++ b/workaround-gnat-bug.patch
@@ -0,0 +1,13 @@
+diff --git src/pp-formatting.adb src/pp-formatting.adb
+index c4539a77..5da22b54 100644
+--- src/pp-formatting.adb
++++ src/pp-formatting.adb
+@@ -60,7 +60,8 @@ package body Pp.Formatting is
+ 
+    subtype Ada_Node is Libadalang.Analysis.Ada_Node;
+    use type Ada_Node;
+-   function Is_Null (Tree : Ada_Node) return Boolean is (Tree.Is_Null);
++   function Is_Null (Tree : Ada_Node) return Boolean is
++     (Libadalang.Analysis.Is_Null (Tree));
+    function T_Img (Tree : Ada_Node) return String is
+      (Libadalang.Analysis.Short_Image (Tree));