1 files changed, 0 insertions, 10 deletions
diff --git a/devel/ahven/files/patch-gnat_ahven__lib.gpr b/devel/ahven/files/patch-gnat_ahven__lib.gpr
deleted file mode 100644
index 26ebbd1b7789..000000000000
--- a/devel/ahven/files/patch-gnat_ahven__lib.gpr
+++ /dev/null
@@ -1,10 +0,0 @@
---- gnat/ahven_lib.gpr.orig	2014-02-08 21:21:51.000000000 +0000
-+++ gnat/ahven_lib.gpr
-@@ -43,6 +43,6 @@ project Ahven_Lib is
-                                        "-gnatwl",
-                                        "-gnatE",
-                                        "-gnatwF", -- unreferenced formal off
--                                       "-gnatyd3ibmhex", "-gnat95");
-+                                       "-gnat95");
-   end Builder;
- end Ahven_Lib;