From 467eb67bb960c15e1335f375af29b4121ac5262b Mon Sep 17 00:00:00 2001
From: JPR
Date: Wed, 22 May 2019 21:40:57 +0200
Subject: Fixing typos - Part 2

---
 engine/ftactic.ml | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'engine/ftactic.ml')

diff --git a/engine/ftactic.ml b/engine/ftactic.ml
index dab2e7d5ef..b59d04e813 100644
--- a/engine/ftactic.ml
+++ b/engine/ftactic.ml
@@ -18,8 +18,8 @@ type 'a focus =
 
 (** Type of tactics potentially goal-dependent. If it contains a [Depends],
     then the length of the inner list is guaranteed to be the number of
-    currently focussed goals. Otherwise it means the tactic does not depend
-    on the current set of focussed goals. *)
+    currently focused goals. Otherwise it means the tactic does not depend
+    on the current set of focused goals. *)
 type 'a t = 'a focus Proofview.tactic
 
 let return (x : 'a) : 'a t = Proofview.tclUNIT (Uniform x)
-- 
cgit v1.2.3