src/Tools/Metis/src/LiteralNet.sig

 (* ========================================================================= *)
 (* MATCHING AND UNIFICATION FOR SETS OF FIRST ORDER LOGIC LITERALS           *)
-(* Copyright (c) 2001-2006 Joe Hurd, distributed under the BSD License *)
+(* Copyright (c) 2001-2006 Joe Hurd, distributed under the BSD License       *)
 (* ========================================================================= *)
 
 signature LiteralNet =
 sig
 

 
 val filter : ('a -> bool) -> 'a literalNet -> 'a literalNet
 
 val toString : 'a literalNet -> string
 
-val pp : 'a Parser.pp -> 'a literalNet Parser.pp
+val pp : 'a Print.pp -> 'a literalNet Print.pp
 
 (* ------------------------------------------------------------------------- *)
 (* Matching and unification queries.                                         *)
 (*                                                                           *)
 (* These function return OVER-APPROXIMATIONS!                                *)