diff --git a/0-floor/lace_shared/lace_shared.gpr b/0-floor/lace_shared/lace_shared.gpr index ad580ac..083176a 100644 --- a/0-floor/lace_shared/lace_shared.gpr +++ b/0-floor/lace_shared/lace_shared.gpr @@ -62,8 +62,9 @@ is when "debug" => Binder_Options := Binder_Options & "-Es"; Compiler_Options := Compiler_Options & "-O0" + & "-gnata" & "-gnato" - & "-gnateE" -- Extra debug info in constraint_Error messages. + & "-gnateE" -- Extra debug info in 'constraint_Error' messages. & "-fstack-check" & "-g"; case lace_OS