p_bad_return2.mod 74 B

1234567
  1. MODULE PBadRet2;
  2. PROCEDURE P;
  3. BEGIN
  4. RETURN 1
  5. END P;
  6. BEGIN
  7. END PBadRet2.