[gobo-eiffel-develop] Gelint output

[Colin P. A. <co...@co...>]

Now that I have an integration ace file again, I ran gelint on it with
the command line:

gelint --ise=5.7 --flat --cat ise.ace >gelint.out 2>&1

(are those the best options to use? I ask because the size of the
output file is 422545209 bytes, which is a lot to look at :-). I think
it is all just one catcall, in essence - I will take a look at
correcting this in the near future.)

This message at the top of the output was:

[GVKFE-2] class TYPED_POINTER: feature `to_pointer' in kernel class TYPED_POINTER is not an attribute.

-- 
Colin Adams
Preston Lancashire