diff options
| author | Björn Persson <bjorn@rombobjörn.se> | 2013-01-21 20:26:08 +0100 |
|---|---|---|
| committer | Björn Persson <bjorn@rombobjörn.se> | 2013-01-21 20:26:08 +0100 |
| commit | b91a567bcf3cb0cf5cbf158bec2b82fe09294700 (patch) | |
| tree | 71f98820c3e75fb17aa474b1a95d3835de5f1aac /milter_api.adb | |
| parent | b098f5dc6a447df808ed755a1d6123f9ce7896dc (diff) | |
Marked two parameters as unused.
Diffstat (limited to 'milter_api.adb')
| -rw-r--r-- | milter_api.adb | 3 |
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, |