(*------------------------------------------------------------------------*)
DEFINITION MODULE Refresh;

(*  A quick kludge to stick pads on PLA  *)

FROM PADR IMPORT Bus ;
EXPORT QUALIFIED PadRingForPla ;

PROCEDURE PadRingForPla () ;

END Refresh.
(*------------------------------------------------------------------------*)

