M2compiler-V2/tests/t_bad_with.mod

MODULE TBadWith;
VAR ExitCode : INTEGER;
    n : INTEGER;
BEGIN
  n := 1;
  WITH n DO
    n := 2
  END;
  ExitCode := n
END TBadWith.