suspicious unused value in SipsMetric.cpp

[quentin]

Hi, clang found this unused variable value although the involved computation seems important:

souffle/src/ast/utility/SipsMetric.cpp

Lines 252 to 255 in d1522e0

	double value = log(profileUse.getRelationSize(atom->getQualifiedName()));
	value *= (numFree * 1.0) / arity;
	}
	return cost;

Is a cost.push_back(value); missing or something ?

[b-scholz]

Yes - that is an issue. Something went wrong here.

[SanaaHamel]

fixed by #2245