# HG changeset patch
# User blanchet
# Date 1303403962 -7200
# Node ID 036142bd030239d6c9ebd99c314d19aef492069d
# Parent  781c622af16a6b3355ff14878008659bc668d312
fixed typo in documentation

diff -r 781c622af16a -r 036142bd0302 doc-src/Sledgehammer/sledgehammer.tex
--- a/doc-src/Sledgehammer/sledgehammer.tex	Thu Apr 21 16:03:13 2011 +0200
+++ b/doc-src/Sledgehammer/sledgehammer.tex	Thu Apr 21 18:39:22 2011 +0200
@@ -447,7 +447,7 @@
 
 \item[$\bullet$] \textbf{\textit{z3\_atp}:} This version of Z3 pretends to be an
 ATP, exploiting Z3's undocumented support for the TPTP format. It is included
-for experimental purposes. It requires versions 2.18 or above.
+for experimental purposes. It requires version 2.18 or above.
 
 \item[$\bullet$] \textbf{\textit{remote\_e}:} The remote version of E runs
 on Geoff Sutcliffe's Miami servers \cite{sutcliffe-2000}.