/* --- Copyright University of Sussex 1991. All rights reserved. ----------
 > File:            C.all/lib/ved/vedpwmdefaultheight.p
 > Purpose:         Old pwm identifier
 > Author:          John Gibson, Jun 10 1991
 */
#_TERMIN_IF DEF POPC_COMPILING

section;

identof("wveddefaultheight") -> identof("vedpwmdefaultheight");

endsection;
