From b1352aff5c8e22d200a3e161538d2a5b8adb4c13 Mon Sep 17 00:00:00 2001
From: Théo Zimmermann
Date: Tue, 19 Dec 2017 11:52:35 +0100
Subject: Fix typo in the refman.

---
 doc/refman/RefMan-ltac.tex | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/doc/refman/RefMan-ltac.tex b/doc/refman/RefMan-ltac.tex
index 89f0b5ae11..ef0f4af8f6 100644
--- a/doc/refman/RefMan-ltac.tex
+++ b/doc/refman/RefMan-ltac.tex
@@ -732,7 +732,7 @@ and
  {\tt finish\_timing} ({\qstring}) {\qstring}
 \end{quote}
 which (re)set and display an optionally named timer, respectively.
-The parenthsized {\qstring} argument to {\tt finish\_timing} is also
+The parenthesized {\qstring} argument to {\tt finish\_timing} is also
 optional, and determines the label associated with the timer for
 printing.
 
-- 
cgit v1.2.3