From 4633baa1fc32e8481693a307f1707aac3d9ae109 Mon Sep 17 00:00:00 2001
From: gareuselesinge
Date: Tue, 1 Oct 2013 15:35:33 +0000
Subject: typo

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@16833 85f007b7-540e-0410-9357-904b9bb8a0f7
---
 lib/interface.mli | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'lib')

diff --git a/lib/interface.mli b/lib/interface.mli
index 0a92e87dd8..69eaac7890 100644
--- a/lib/interface.mli
+++ b/lib/interface.mli
@@ -148,7 +148,7 @@ type ('a, 'b) union = ('a, 'b) Util.union
 
 (**  [add ((s,eid),(sid,v))] adds the phrase [s] with edit id [eid]
      on top of the current edit position (that is asserted to be [sid])
-     verbosely if [v] is true.  The response [(is,(rc,s)] is the new state
+     verbosely if [v] is true.  The response [(id,(rc,s)] is the new state
      [id] assigned to the phrase, some output [s].  [rc] is [Inl] if the new
      state id is the tip of the edit point, or [Inr tip] if the new phrase
      closes a focus and [tip] is the new edit tip *)
-- 
cgit v1.2.3