diff --git a/alib2aux/src/convert/GasTexConverter.h b/alib2aux/src/convert/GasTexConverter.h index e0ed03cdbeec6425db2513b6673b22efed367641..87db1c36fa34a36db4dd1e496585f91dc419d3ec 100644 --- a/alib2aux/src/convert/GasTexConverter.h +++ b/alib2aux/src/convert/GasTexConverter.h @@ -865,11 +865,11 @@ std::string GasTexConverter::getStackSymbols(const ext::vector<SymbolType>& stac return "$\\varepsilon$"; } - std::string symbols = ""; + std::string symbols; int i=0; for (const SymbolType & symbol : stackSymbols) { if(i++ !=0) { - symbols +=" "; + symbols += " "; } symbols += replace ( factory::StringDataFactory::toString ( symbol ), "\"", "\\\"" ); }