Rombobjörn

summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorBjörn Persson <bjorn@rombobjörn.se>2013-01-21 20:26:08 +0100
committerBjörn Persson <bjorn@rombobjörn.se>2013-01-21 20:26:08 +0100
commitb91a567bcf3cb0cf5cbf158bec2b82fe09294700 (patch)
tree71f98820c3e75fb17aa474b1a95d3835de5f1aac
parentb098f5dc6a447df808ed755a1d6123f9ce7896dc (diff)
Marked two parameters as unused.
-rw-r--r--milter_api.adb3
1 files changed, 3 insertions, 0 deletions
diff --git a/milter_api.adb b/milter_api.adb
index e8f02d3..0059a4d 100644
--- a/milter_api.adb
+++ b/milter_api.adb
@@ -171,6 +171,9 @@ package body Milter_API is
pf3 : access unsigned_long)
return sfsistat
is
+ pragma Unreferenced(f2);
+ pragma Unreferenced(f3);
+ -- f2 and f3 are space for future extensions.
Offered : constant Options :=
(Add_Headers => (f0 and SMFIF_ADDHDRS) /= 0,
Change_Or_Delete_Headers => (f0 and SMFIF_CHGHDRS) /= 0,