Minor refactoring.

This commit is contained in:
Patrick Lühne 2016-05-24 16:31:05 +02:00
parent 2bbd28c341
commit 082235eaaf

View File

@ -168,13 +168,8 @@ void Value::printAsSAS(std::ostream &ostream) const
bool operator ==(const Value &value1, const Value &value2)
{
if (value1.sign() != value2.sign())
return false;
if (value1.name() != value2.name())
return false;
return true;
return value1.sign() == value2.sign()
&& value1.name() == value2.name();
}
////////////////////////////////////////////////////////////////////////////////////////////////////