(* Copyright 1993 Digital Equipment Corporation. *)
(* Distributed only by permission. *)
(* Last modified on Wed Jul 14 18:11:07 PDT 1993 by harrison *)
(*      modified on Sun Jul 11 11:19:36 PDT 1993 by mhb *)

INTERFACE ViewError;

END ViewError.



