Fix override error message.

This commit is contained in:
chriseth
2019-11-04 13:37:23 +01:00
parent 60ec679156
commit 5392532d70
2 changed files with 2 additions and 2 deletions
@@ -51,7 +51,7 @@ vector<ASTPointer<UserDefinedTypeName>> sortByContract(vector<ASTPointer<UserDef
{
auto sorted = _list;
sort(sorted.begin(), sorted.end(),
stable_sort(sorted.begin(), sorted.end(),
[] (ASTPointer<UserDefinedTypeName> _a, ASTPointer<UserDefinedTypeName> _b) {
if (!_a || !_b)
return _a < _b;