# HG changeset patch
# User blanchet
# Date 1492698089 -7200
# Node ID 03efd17e083b643432c8bd4bf5eff8074cb3fdf7
# Parent  f595b7532dc98b377e89098211e7761767d329f8
removed French accent from docs

diff -r f595b7532dc9 -r 03efd17e083b src/Doc/Sledgehammer/document/root.tex
--- 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