diff options
Diffstat (limited to 'workaround-gnat-bug.patch')
-rw-r--r-- | workaround-gnat-bug.patch | 13 |
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)); |