/* --- Copyright University of Sussex 1991. All rights reserved. ----------
 > File:            C.all/lib/ved/iswindowchanged.p
 > Purpose:         Old ved identifier
 > Author:          John Gibson, Jun  8 1991
 > Documentation:	REF *VEDVARS
 */

section;

identof("wved_is_changed_window") -> identof("iswindowchanged");

endsection;
