Name displacer.

This commit is contained in:
chriseth
2019-06-19 14:55:38 +02:00
parent ee89a0353e
commit d7b366ff46
12 changed files with 246 additions and 4 deletions
+2 -2
View File
@@ -32,8 +32,8 @@ using namespace std;
using namespace dev;
using namespace yul;
NameDispenser::NameDispenser(Dialect const& _dialect, Block const& _ast):
NameDispenser(_dialect, NameCollector(_ast).names())
NameDispenser::NameDispenser(Dialect const& _dialect, Block const& _ast, set<YulString> _reservedNames):
NameDispenser(_dialect, NameCollector(_ast).names() + std::move(_reservedNames))
{
}