X-Git-Url: http://git.indexdata.com/?a=blobdiff_plain;f=doc%2Ftools.xml;h=49fd18bc20a1bf81be5f407b0744114213e341b1;hb=4e1f50c179b87adc3eb1098b6edf28a653dd6d64;hp=36138fa627e40f4ff1b23876ae4930d46850d4e7;hpb=6ba14eb5dc7229aa17977882024a475b6d258368;p=yaz-moved-to-github.git

diff --git a/doc/tools.xml b/doc/tools.xml
index 36138fa..49fd18b 100644
--- a/doc/tools.xml
+++ b/doc/tools.xml
@@ -1,4 +1,4 @@
-<!-- $Id: tools.xml,v 1.12 2002-09-03 09:50:34 adam Exp $ -->
+<!-- $Id: tools.xml,v 1.13 2002-09-03 10:46:06 adam Exp $ -->
  <chapter id="tools"><title>Supporting Tools</title>
   
   <para>
@@ -159,8 +159,7 @@
 
      unit-code ::= integer.
 
-     term-type ::= 'general' | 'numeric' | 'string' | 'oid' |
-                   'datetime' | 'null'.
+     term-type ::= 'general' | 'numeric' | 'string' | 'oid' | 'datetime' | 'null'.
     </literallayout>
 
     <para>