summaryrefslogtreecommitdiff
path: root/conf
diff options
context:
space:
mode:
authorPavel Machek <pavel@ucw.cz>1999-03-08 20:30:06 +0000
committerPavel Machek <pavel@ucw.cz>1999-03-08 20:30:06 +0000
commitb7005824453583d1459b49c5a424b50e2ea9a2c8 (patch)
tree23579261136bbf4a67a5a50789bebb46bce1e7e5 /conf
parent111213f0b66cff8f562f7d9117c9080a9882129e (diff)
Filters are now a tiny bit stronger (if is actually working ;-)
Diffstat (limited to 'conf')
-rw-r--r--conf/confbase.Y2
1 files changed, 1 insertions, 1 deletions
diff --git a/conf/confbase.Y b/conf/confbase.Y
index a5d68382..aa46e51d 100644
--- a/conf/confbase.Y
+++ b/conf/confbase.Y
@@ -25,7 +25,7 @@ CF_DECLS
ip_addr a;
struct symbol *s;
char *t;
- struct f_instruction *x;
+ struct f_inst *x;
}
%token END