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;