On 09/08/2012 11:12, Tobias Burnus wrote: > This patch makes the warning for internal procedures whose name is the > same as the one of an intrinsic clearer. Initially, I though that one > shouldn't warn for internal procedures, but others disagree. In any > case, the warning text is better than original one. > > Build and regstested on x86-64-linux. > OK for the trunk?
OK.
