From a10bf993c6b4cf253c907b37f32efa7c9aad591a Mon Sep 17 00:00:00 2001
From: Enrico Tassi <Enrico.Tassi@inria.fr>
Date: Thu, 7 Apr 2016 14:57:21 +0200
Subject: typo

---
 lib/pp.mli | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'lib/pp.mli')

diff --git a/lib/pp.mli b/lib/pp.mli
index 2508779e8..98219636b 100644
--- a/lib/pp.mli
+++ b/lib/pp.mli
@@ -168,7 +168,7 @@ val is_message : Xml_datatype.xml -> bool
  *
  * Morally the parser gets a string and an edit_id, and gives back an AST.
  * Feedbacks during the parsing phase are attached to this edit_id.
- * The interpreter assignes an exec_id to the ast, and feedbacks happening
+ * The interpreter assigns an exec_id to the ast, and feedbacks happening
  * during interpretation are attached to the exec_id.
  * Only one among state_id and edit_id can be provided. *)
 
-- 
cgit v1.2.3