diff options
Diffstat (limited to 'libyul/optimiser/NameDispenser.h')
-rw-r--r-- | libyul/optimiser/NameDispenser.h | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/libyul/optimiser/NameDispenser.h b/libyul/optimiser/NameDispenser.h index 57adbcad..7311440b 100644 --- a/libyul/optimiser/NameDispenser.h +++ b/libyul/optimiser/NameDispenser.h @@ -54,6 +54,7 @@ private: YulString newNameInternal(YulString _nameHint); std::set<YulString> m_usedNames; + size_t m_counter = 0; }; } |