--- a/src/Tools/Metis/src/Parse.sig Wed Sep 15 22:24:35 2010 +0200
+++ b/src/Tools/Metis/src/Parse.sig Thu Sep 16 07:24:04 2010 +0200
@@ -1,6 +1,6 @@
(* ========================================================================= *)
(* PARSING *)
-(* Copyright (c) 2001 Joe Hurd, distributed under the BSD License *)
+(* Copyright (c) 2001 Joe Hurd, distributed under the MIT license *)
(* ========================================================================= *)
signature Parse =
@@ -99,8 +99,9 @@
(* ------------------------------------------------------------------------- *)
val parseInfixes :
- Print.infixes -> (string * 'a * 'a -> 'a) -> (string,'a) parser ->
- (string,'a) parser
+ Print.infixes ->
+ (Print.token * 'a * 'a -> 'a) -> ('b,Print.token) parser ->
+ ('b,'a) parser -> ('b,'a) parser
(* ------------------------------------------------------------------------- *)
(* Quotations. *)