cerc-io/solidity
16
0
Fork 0
mirror of https://github.com/ethereum/solidity synced 2023-10-03 13:03:40 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity

Remove outdated FIXME

Browse Source
This commit is contained in:
Martin Blicha 2023-07-27 09:54:53 +02:00
parent 451b6f8ced
commit d773e76704
1 changed files with 0 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
libsmtutil/CHCSmtLib2Interface.cpp
View File

@ -325,8 +325,6 @@ namespace
return std::make_shared<ArraySort>(std::move(domainSort), std::move(codomainSort)); return std::make_shared<ArraySort>(std::move(domainSort), std::move(codomainSort));
} }
} }
// FIXME: This is not correct, we need to track sorts properly!
// return SortProvider::boolSort;
smtAssert(false, "Unknown sort encountered"); smtAssert(false, "Unknown sort encountered");
} }