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

section;

identof("wveddefaultwidth") -> identof("vedpwmdefaultwidth");

endsection;
