From 49fbc9340168868f19fb2be12bbe6e5689ce34c6 Mon Sep 17 00:00:00 2001
From: Nicolas Setton <setton@adacore.com>
Date: Mon, 18 Jun 2018 13:59:40 -0400
Subject: [PATCH] Use -gnata when compiling SPARK examples

Requested by Yannick in R525-028.
---
 resources/templates/spark_main/main.gpr | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/resources/templates/spark_main/main.gpr b/resources/templates/spark_main/main.gpr
index 739d795..556919a 100644
--- a/resources/templates/spark_main/main.gpr
+++ b/resources/templates/spark_main/main.gpr
@@ -5,7 +5,7 @@ project Main is
    end Compiler;
 
    package Builder is
-      for Switches ("ada") use ("-g", "-O0");
+      for Switches ("ada") use ("-g", "-O0", "-gnata");
 
       for Global_Configuration_Pragmas use "main.adc";
    end Builder;