/test/language/error_warning_msg/bad_export8.msg

 1****** Error: Forbidden call (i.e. exportation rules violated) when the type of Current is BAD_EXPORT8. (See the next error report for details.)
 2
 3Line 15 column 17 in BAD_EXPORT8 (/home/r/Liberty/test/language/error_warning_msg/bad_export8.e):
 4            aux.make
 5                ^   
 6------
 7****** Fatal Error: This feature is only exported to {INTROUVABLE}.
 8
 9The source lines relevant to this message are the following:
10
11Line 9 column 10 in BAD_EXPORT8 (/home/r/Liberty/test/language/error_warning_msg/bad_export8.e):
12feature {INTROUVABLE} -- To be sure that this place is in the error message.
13         ^                                                                  
14Line 10 column 4 in BAD_EXPORT8 (/home/r/Liberty/test/language/error_warning_msg/bad_export8.e):
15   make
16   ^   
17------