From 9e981eca272e571924b535de47263e33658648be Mon Sep 17 00:00:00 2001
From: Théo Zimmermann
Date: Thu, 29 Jun 2017 17:35:24 +0200
Subject: Better phrasing.

---
 doc/tutorial/Tutorial.tex | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'doc/tutorial/Tutorial.tex')

diff --git a/doc/tutorial/Tutorial.tex b/doc/tutorial/Tutorial.tex
index 9e085bbea5..3a91664db7 100644
--- a/doc/tutorial/Tutorial.tex
+++ b/doc/tutorial/Tutorial.tex
@@ -1550,7 +1550,7 @@ SearchHead le.
 
 The \verb:Search: commands also allows finding the theorems
 containing a given pattern, where \verb:_: can be used in
-place of an arbitrary term. Note in passing that \Coq{}
+place of an arbitrary term. As shown in this example, \Coq{}
 provides usual infix notations for arithmetic operators.
 
 \begin{coq_example}
-- 
cgit v1.2.3