diff options
| author | Björn Persson <bjorn@rombobjörn.se> | 2013-02-18 02:10:40 +0100 |
|---|---|---|
| committer | Björn Persson <bjorn@rombobjörn.se> | 2013-02-18 02:10:40 +0100 |
| commit | df36c60712dd7bebe59b3d1d26ff40d6d08912a6 (patch) | |
| tree | 392b37d122e80c7a01b8650c6bde277db732f270 | |
| parent | 41cf063931a6d818ba66b95283392ac8a6e48022 (diff) | |
Marked a dummy as unreferenced.
| -rw-r--r-- | system_log.adb | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/system_log.adb b/system_log.adb index b9d5d4e..2755501 100644 --- a/system_log.adb +++ b/system_log.adb @@ -86,6 +86,7 @@ package body System_Log is procedure Set_Log_Levels(New_Levels : in Log_Levels) is Dummy : Log_Levels; + pragma Unreferenced(Dummy); begin Set_Log_Levels(New_Levels, Dummy); end Set_Log_Levels; |