M2compiler-V1/tests/d_bad_exp.LST

Listing:

    1  MODULE DBadExp;
    2  FROM DLib IMPORT ghost;
*****                   ^ undeclared identifier
    3  VAR ExitCode : INTEGER;
    4  BEGIN
    5    ExitCode := 1
    6  END DBadExp.

    1 error