/test/language/error_warning_msg/bad_native_array1.msg

 1****** Fatal Error:  Bad assignment. Cannot assign `store2' which
 2is of type NATIVE_ARRAY[INTEGER_32] into `store1' which is of
 3type NATIVE_ARRAY[REAL_64].
 4
 5The source lines relevant to this message are the following:
 6
 7Line 16 columns 10, 20 in BAD_NATIVE_ARRAY1 (/home/cadrian/Workspace/Dev/Liberty/test/language/error_warning_msg/bad_native_array1.e):
 8         store1 := store2;
 9         ^         ^      
10------