- Even less warnings.
This commit is contained in:
parent
d9a37b62b3
commit
36ccfd776a
@ -704,9 +704,12 @@ commEvent (int event, Tac tc)
|
|||||||
|
|
||||||
if (isClaimlabelUsed (sys, label))
|
if (isClaimlabelUsed (sys, label))
|
||||||
{
|
{
|
||||||
warning
|
if (switches.check)
|
||||||
("Claim label is not unique at line %i, generating fresh label.",
|
{
|
||||||
tc->lineno);
|
warning
|
||||||
|
("Claim label is not unique at line %i, generating fresh label.",
|
||||||
|
tc->lineno);
|
||||||
|
}
|
||||||
}
|
}
|
||||||
|
|
||||||
if (!isTermEqual (fromrole, thisRole->nameterm))
|
if (!isTermEqual (fromrole, thisRole->nameterm))
|
||||||
|
Loading…
Reference in New Issue
Block a user