# HG changeset patch
# User wenzelm
# Date 863016000 -7200
# Node ID 1ffe03f4c70055b024e8f487b92480e420af9430
# Parent  dd3666cbc76483a77b45230d0ea24ad382af6b38
fixed witness syntax;

diff -r dd3666cbc764 -r 1ffe03f4c700 doc-src/Ref/theory-syntax.tex
--- a/doc-src/Ref/theory-syntax.tex	Wed May 07 16:38:33 1997 +0200
+++ b/doc-src/Ref/theory-syntax.tex	Wed May 07 16:40:00 1997 +0200
@@ -127,7 +127,7 @@
 instance : 'instance' ( name '<' name | name '::' arity) witness
          ;
 
-witness : (() | ((string | longident) + ',')) (() | verbatim)
+witness : (() | '(' ((string | longident) + ',') ')') (() | verbatim)
         ;
 
 oracle : 'oracle' name