From 965b83d95a21ebee1a32d42deb06df0d9c2b4165 Mon Sep 17 00:00:00 2001
From: jand <none@none>
Date: Wed, 4 Feb 2004 20:58:13 +0000
Subject: [PATCH] comma

---
 doc/manual/reference.tex | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/doc/manual/reference.tex b/doc/manual/reference.tex
index 21e08cc2..7c30c65f 100644
--- a/doc/manual/reference.tex
+++ b/doc/manual/reference.tex
@@ -222,7 +222,7 @@ defaults to zero.  This function is especially useful in conjunction
 with the \class{intbv} class, that also works with downward indexing.
 \end{funcdesc}
 
-\begin{funcdesc}{enum}{arg \optional{, arg \moreargs} \optional{encoding='binary'}}
+\begin{funcdesc}{enum}{arg \optional{, arg \moreargs} \optional{, encoding='binary'}}
 Returns an enumeration type.
 
 The arguments should be string literals that represent the desired