/test/language/error_warning_msg/bad_rename3.msg

 1****** Fatal Error: Can't join these two concrete features. What's
 2called a concrete feature here is a feature which is not deferred.
 3You may consider to undefine one feature. May be.
 4
 5The source lines relevant to this message are the following:
 6
 7Line 214 column 11 in ANY (/home/cadrian/Workspace/Dev/Liberty/src/lib/kernel/any.e):
 8   frozen print (some: STRING)
 9          ^                   
10Line 7 column 4 in BAD_RENAME3 (/home/cadrian/Workspace/Dev/Liberty/test/language/error_warning_msg/bad_rename3.e):
11   AUX_RENAME3
12   ^          
13Line 7 column 11 in AUX_RENAME3 (/home/cadrian/Workspace/Dev/Liberty/test/language/error_warning_msg/aux_rename3.e):
14   frozen do_nothing
15          ^         
16------