--- a/src/Doc/Sledgehammer/document/root.tex Thu Apr 20 16:21:28 2017 +0200
+++ b/src/Doc/Sledgehammer/document/root.tex Thu Apr 20 16:21:29 2017 +0200
@@ -816,7 +816,7 @@
Versions strictly above 1.8 support the TPTP typed first-order format (TFF0).
\item[\labelitemi] \textbf{\textit{verit}:} veriT \cite{bouton-et-al-2009} is an
-SMT solver developed by David Déharbe, Pascal Fontaine, and their colleagues.
+SMT solver developed by David D\'eharbe, Pascal Fontaine, and their colleagues.
It is specifically designed to produce detailed proofs for reconstruction in
proof assistants. To use veriT, set the environment variable
\texttt{VERIT\_SOLVER} to the complete path of the executable, including the