From 2560934a64204d14705462aea44f711d1d7631c1 Mon Sep 17 00:00:00 2001
From: "Alejandro R. Mosteo" <alejandro@mosteo.com>
Date: Sat, 3 Feb 2018 01:22:43 +0100
Subject: [PATCH] Removed ineffective switch in gpr

---
 alire.gpr | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/alire.gpr b/alire.gpr
index 41c71667..d8a7c982 100644
--- a/alire.gpr
+++ b/alire.gpr
@@ -16,7 +16,7 @@ project Alire is
    end Builder;
 
    package Compiler is
-      for Switches ("ada") use ("-gnatwa", "-gnatVa", "-g", "-p", "-O2", "-gnat12",
+      for Switches ("ada") use ("-gnatwa", "-gnatVa", "-g", "-O2", "-gnat12",
                                 "-gnato", "-fstack-check", "-gnata");
    end Compiler;