index a4e37e13841db51e7ed2b79a6c8ab23146b599ce..c1c3a62cf89c20e2b08055b8ead6169db46ca417 100644 (file)
// Remove any duplicate entries by dropping all but the first.
void sortUniqueValues() {
std::sort(Values.begin(), Values.end());
- Values.erase(std::unique(Values.begin(), Values.end()), Values.end());
+ Values.erase(std::unique(Values.begin(), Values.end(),
+ [](const Value &A, const Value &B) {
+ return A.getVariable() == B.getVariable();
+ }), Values.end());
}
};