/test/language/error_warning_msg/bad_generic9.msg

 1****** Fatal Error: Wrong number of generic arguments (compare
 2usage and definition below).
 3
 4The source lines relevant to this message are the following:
 5
 6Line 12 column 13 in BAD_GENERIC9 (/home/cadrian/Workspace/Dev/Liberty/test/language/error_warning_msg/bad_generic9.e):
 7         a: AUX_GENERIC9[INTEGER]
 8            ^                    
 9Line 4 column 19 in AUX_GENERIC9 (/home/cadrian/Workspace/Dev/Liberty/test/language/error_warning_msg/aux_generic9.e):
10class AUX_GENERIC9[E1_->INTEGER, E2_->INTEGER]
11                  ^                           
12------