From 3b241843a77ed29d10355fc17383da18d979bc5b Mon Sep 17 00:00:00 2001 From: Alex Beregszaszi Date: Wed, 9 May 2018 01:45:50 +0200 Subject: Use NameDispenser in Disambiguator --- libjulia/optimiser/Disambiguator.h | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) (limited to 'libjulia/optimiser/Disambiguator.h') diff --git a/libjulia/optimiser/Disambiguator.h b/libjulia/optimiser/Disambiguator.h index 18ffd157..6fc8a615 100644 --- a/libjulia/optimiser/Disambiguator.h +++ b/libjulia/optimiser/Disambiguator.h @@ -23,6 +23,7 @@ #include #include +#include #include @@ -60,7 +61,7 @@ protected: std::vector m_scopes; std::map m_translations; - std::set m_usedNames; + NameDispenser m_nameDispenser; }; } -- cgit v1.2.3