Update to 2019

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));