src/Tools/Metis/src/Units.sig

 (* ========================================================================= *)
 (* A STORE FOR UNIT THEOREMS                                                 *)
-(* Copyright (c) 2001-2006 Joe Hurd, distributed under the BSD License *)
+(* Copyright (c) 2001-2006 Joe Hurd, distributed under the BSD License       *)
 (* ========================================================================= *)
 
 signature Units =
 sig
 

 
 val size : units -> int
 
 val toString : units -> string
 
-val pp : units Parser.pp
+val pp : units Print.pp
 
 (* ------------------------------------------------------------------------- *)
 (* Add units into the store.                                                 *)
 (* ------------------------------------------------------------------------- *)