From 4444f04cfdbe449d184ac1ce0a56eb484805364d Mon Sep 17 00:00:00 2001
From: Pierre-Marie Pédrot
Date: Wed, 28 Oct 2015 12:56:29 +0100
Subject: Fixing the return type of the Atoken symbol.

---
 intf/extend.mli | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'intf')

diff --git a/intf/extend.mli b/intf/extend.mli
index aa0db52d7f..975f194b07 100644
--- a/intf/extend.mli
+++ b/intf/extend.mli
@@ -54,7 +54,7 @@ type simple_constr_prod_entry_key =
 (** {5 Type-safe grammar extension} *)
 
 type ('self, 'a) symbol =
-| Atoken : Tok.t -> ('self, Tok.t) symbol
+| Atoken : Tok.t -> ('self, string) symbol
 | Alist1 : ('self, 'a) symbol -> ('self, 'a list) symbol
 | Alist1sep : ('self, 'a) symbol * string -> ('self, 'a list) symbol
 | Alist0 : ('self, 'a) symbol -> ('self, 'a list) symbol
-- 
cgit v1.2.3