M2compiler-V1/tests/m_bad_arity.mod

MODULE MBadArity;
MODULE M EXPORT Add;
PROCEDURE Add(x : INTEGER);
BEGIN
END Add;
END M;
VAR ExitCode : INTEGER;
BEGIN
  M.Add(1, 2);
  ExitCode := 0
END MBadArity.