Rombobjörn

summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorBjörn Persson <bjorn@rombobjörn.se>2013-02-18 02:10:40 +0100
committerBjörn Persson <bjorn@rombobjörn.se>2013-02-18 02:10:40 +0100
commitdf36c60712dd7bebe59b3d1d26ff40d6d08912a6 (patch)
tree392b37d122e80c7a01b8650c6bde277db732f270
parent41cf063931a6d818ba66b95283392ac8a6e48022 (diff)
Marked a dummy as unreferenced.
-rw-r--r--system_log.adb1
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;