From 467eb67bb960c15e1335f375af29b4121ac5262b Mon Sep 17 00:00:00 2001
From: JPR
Date: Wed, 22 May 2019 21:40:57 +0200
Subject: Fixing typos - Part 2

---
 gramlib/grammar.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'gramlib')

diff --git a/gramlib/grammar.ml b/gramlib/grammar.ml
index c452c7b307..f9d18e7190 100644
--- a/gramlib/grammar.ml
+++ b/gramlib/grammar.ml
@@ -222,7 +222,7 @@ let is_before : type s1 s2 r1 r2 a1 a2. (s1, r1, a1) ty_symbol -> (s2, r2, a2) t
   | Stoken _, _ -> true
   | _ -> false
 
-(** Ancilliary datatypes *)
+(** Ancillary datatypes *)
 
 type 'a ty_rec = MayRec : ty_mayrec ty_rec | NoRec : ty_norec ty_rec
 
-- 
cgit v1.2.3