diff options
Diffstat (limited to 'doc/refman/Classes.tex')
| -rw-r--r-- | doc/refman/Classes.tex | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/refman/Classes.tex b/doc/refman/Classes.tex index ea1ae02bc..869ba971c 100644 --- a/doc/refman/Classes.tex +++ b/doc/refman/Classes.tex @@ -403,7 +403,7 @@ This is equivalent to {\tt Hint Transparent,Opaque} {\ident} {\tt: typeclass\_in \comindex{Typeclasses eauto} \label{TypeclassesEauto} -This commands allows to customize the type class resolution tactic, +This command allows customization of the type class resolution tactic, based on a variant of eauto. The flags semantics are: \begin{itemize} \item {\tt debug} In debug mode, the trace of successfully applied |