From b91a567bcf3cb0cf5cbf158bec2b82fe09294700 Mon Sep 17 00:00:00 2001
From: Björn Persson <bjorn@rombobjörn.se>
Date: Mon, 21 Jan 2013 20:26:08 +0100
Subject: Marked two parameters as unused.

---
 milter_api.adb | 3 +++
 1 file changed, 3 insertions(+)

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,
-- 
cgit v1.2.3