From 3b9ab8c8f596a66bf38b672d7e8cf32db3b08577 Mon Sep 17 00:00:00 2001
From: Regis-Gianas
Date: Tue, 4 Nov 2014 23:04:30 +0100
Subject: lib/richPp: Cosmetics.

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

(limited to 'lib')

diff --git a/lib/richPp.mli b/lib/richPp.mli
index 4442f36867..99a99c5522 100644
--- a/lib/richPp.mli
+++ b/lib/richPp.mli
@@ -26,7 +26,7 @@ module Indexer (Annotation : sig type t end) : sig
 
 end
 
-(** Each annotation of the semi-structures document refers to the
+(** Each annotation of the semi-structured document refers to the
     substring it annotates. *)
 type 'annotation located = {
   annotation : 'annotation option;
-- 
cgit v1.2.3