From 7dbf6dbd73f3a828bbb58458191912f895cf7779 Mon Sep 17 00:00:00 2001
From: Armael
Date: Tue, 13 Mar 2018 16:13:18 +0100
Subject: Fix a typo

---
 doc/ltac2.md | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/doc/ltac2.md b/doc/ltac2.md
index cd0d8f4325..10a65fce44 100644
--- a/doc/ltac2.md
+++ b/doc/ltac2.md
@@ -875,7 +875,7 @@ Due to conflicts, a few syntactic rules have changed.
   `try`, `repeat`, `do`, `once`, `progress`, `time`, `abstract`.
 - `idtac` is no more. Either use `()` if you expect nothing to happen,
   `(fun () => ())` if you want a thunk (see next section), or use printing
-  primitives from the `Message` module if you wand to display something.
+  primitives from the `Message` module if you want to display something.
 
 ## Tactic delay
 
-- 
cgit v1.2.3