From 8bec4e3fac58fd96c876a22634e5b25a566e9ce1 Mon Sep 17 00:00:00 2001
From: aspiwack
Date: Sat, 2 Nov 2013 15:37:58 +0000
Subject: Typos in a comment.

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@16997 85f007b7-540e-0410-9357-904b9bb8a0f7
---
 bootstrap/Monads.v | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

(limited to 'bootstrap')

diff --git a/bootstrap/Monads.v b/bootstrap/Monads.v
index bff4e5e5f0..f3f2eb653e 100644
--- a/bootstrap/Monads.v
+++ b/bootstrap/Monads.v
@@ -412,9 +412,9 @@ Module Logic.
    "search" implementations (including Tac interactive prover's
    tactics). Yet it's quite hard to wrap your head around these.  I
    recommand reading a few times the "Backtracking, Interleaving, and
-   Terminating Monad Transformers" paper by O. Kiselyov, C. Chen,
-   D. Fridman.  The peculiar shape of the monadic type is reminiscent
-   of that of the continuation monad transformer.
+   Terminating Monad Transformers" paper by O. Kiselyov, C. Shan,
+   D. Friedman, and A. Sabry.  The peculiar shape of the monadic type
+   is reminiscent of that of the continuation monad transformer.
 
    The paper also contains the rational for the [split] abstraction.
 
-- 
cgit v1.2.3