From 29c7ed2c90cd7aa5b69ec785c618b260f9525b1b Mon Sep 17 00:00:00 2001 From: Mike Taylor Date: Mon, 3 Nov 2003 09:34:02 +0000 Subject: [PATCH] Fix typo in grammar for @term --- doc/tools.xml | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/doc/tools.xml b/doc/tools.xml index 0254fa1..55dec3c 100644 --- a/doc/tools.xml +++ b/doc/tools.xml @@ -1,4 +1,4 @@ - + Supporting Tools @@ -131,7 +131,7 @@ top-set ::= [ '@attrset' string ] - query-struct ::= attr-spec | simple | complex | '@term' term-type + query-struct ::= attr-spec | simple | complex | '@term' term-type query attr-spec ::= '@attr' [ string ] string query-struct -- 1.7.10.4