From 1b3b1b36cfd21f3f79b7aec7249acc8ab292f25a Mon Sep 17 00:00:00 2001
From: Hugo Herbelin
Date: Tue, 20 Jun 2017 21:58:11 +0200
Subject: Typo in comment in tactic_matching.ml.

---
 plugins/ltac/tactic_matching.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'plugins')

diff --git a/plugins/ltac/tactic_matching.ml b/plugins/ltac/tactic_matching.ml
index 63b8cc4824..18bb7d2dbd 100644
--- a/plugins/ltac/tactic_matching.ml
+++ b/plugins/ltac/tactic_matching.ml
@@ -203,7 +203,7 @@ module PatternMatching (E:StaticEnvironment) = struct
 
   let pick l = pick l imatching_error
 
-  (** Declares a subsitution, a context substitution and a term substitution. *)
+  (** Declares a substitution, a context substitution and a term substitution. *)
   let put subst context terms : unit m =
     let s = { subst ; context ; terms ; lhs = () } in
     { stream = fun k ctx -> match merge s ctx with None -> Proofview.tclZERO matching_error | Some s -> k () s }
-- 
cgit v1.2.3