diff -uNr dhcp6-0.85.orig/server6_parse.y dhcp6-0.85/server6_parse.y
--- dhcp6-0.85.orig/server6_parse.y	2004-06-12 00:29:01.384999104 +0000
+++ dhcp6-0.85/server6_parse.y	2004-06-12 00:29:47.882930344 +0000
@@ -83,7 +83,6 @@
 %token	<bool>	BOOLEAN
 %token	<addr>	IPV6ADDR
 %token 	<str>	INFINITY
-%token	<str>	OPTION
 
 %token	<str>	HOST
 %token	<str>	POOL