设有如下的过程说明
PROCEDURE wri；
BEGIN Writeln（‘Welcome to use pascal!!!’）；
End；
则下面有关过程wri的叙述中正确的是（）

A.过程说明有错，因为没有形式参数
B.过程说明有错，因未说明过程的类型
C.过程说明有错，因为在过程体内没有给过程名赋值的语句
D.过程说明正确