diff options
Diffstat (limited to 'workaround-gnat-bug.patch')
| -rw-r--r-- | workaround-gnat-bug.patch | 13 |
1 files changed, 0 insertions, 13 deletions
diff --git a/workaround-gnat-bug.patch b/workaround-gnat-bug.patch deleted file mode 100644 index bd4326016e18..000000000000 --- a/workaround-gnat-bug.patch +++ /dev/null @@ -1,13 +0,0 @@ -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)); |