M2compiler-V1/tests/m_bad_ghost.mod

MODULE MBadGhost;
MODULE M EXPORT ghost;
VAR cnt : INTEGER;
END M;
VAR ExitCode : INTEGER;
BEGIN
  ExitCode := 0
END MBadGhost.