/test/language/error_warning_msg/bad_undefine4.msg

 1****** Fatal Error: A frozen feature must not be undefined. What
 2is frozen _is_ frozen.
 3
 4The source lines relevant to this message are the following:
 5
 6Line 11 column 16 in BAD_UNDEFINE4 (/home/cadrian/Workspace/Dev/Liberty/test/language/error_warning_msg/bad_undefine4.e):
 7      undefine test
 8               ^   
 9Line 8 column 11 in AUX_UNDEFINE3B (/home/cadrian/Workspace/Dev/Liberty/test/language/error_warning_msg/aux_undefine3b.e):
10   frozen test
11          ^   
12------