Fix documentation of Typeclasses eauto :=

1 files changed, 1 insertions, 1 deletions

diff --git a/doc/refman/Classes.tex b/doc/refman/Classes.tex
index acfc4bea93..5966ac468c 100644
--- a/doc/refman/Classes.tex
+++ b/doc/refman/Classes.tex
@@ -554,7 +554,7 @@ more efficient resolution behavior (the option is off by default). When
 a solution to the typeclass goal of this class is found, we never
 backtrack on it, assuming that it is canonical.
 
-\subsection{\tt Typeclasses eauto := [debug] [dfs | bfs] [\emph{depth}]}
+\subsection{\tt Typeclasses eauto := [debug] [(dfs) | (bfs)] [\emph{depth}]}
 \comindex{Typeclasses eauto}
 \label{TypeclassesEauto}