inp2q.c, #6/23, transform boolean expression

Note: both values range over {4,5}
Thus, this is a functional invariant transformation
This commit is contained in:
rlar 2017-03-09 21:39:35 +01:00
parent 27d93293f9
commit c82a9dd87e
1 changed files with 1 additions and 1 deletions

View File

@ -146,7 +146,7 @@ void INP2Q(CKTcircuit *ckt, INPtables * tab, card * current, CKTnode *gnode)
LITERR("incorrect model type");
return;
}
if (nodeflag > 4 && 4 == model_numnodes(thismodel->INPmodType))
if (nodeflag > model_numnodes(thismodel->INPmodType))
{
LITERR("Too much nodes for this model type");
return;