From 5b421885fdfad728ab584ef15ec1873ec3bc2a05 Mon Sep 17 00:00:00 2001 From: Adam Chlipala Date: Sun, 29 May 2011 14:29:26 -0400 Subject: getHeader and setHeader --- src/compiler.sig | 2 ++ 1 file changed, 2 insertions(+) (limited to 'src/compiler.sig') diff --git a/src/compiler.sig b/src/compiler.sig index a56a679a..587b3a94 100644 --- a/src/compiler.sig +++ b/src/compiler.sig @@ -51,6 +51,8 @@ signature COMPILER = sig rewrites : Settings.rewrite list, filterUrl : Settings.rule list, filterMime : Settings.rule list, + filterRequest : Settings.rule list, + filterResponse : Settings.rule list, protocol : string option, dbms : string option, sigFile : string option, -- cgit v1.2.3