C++: Fix join in TranslatedAssertion::getVariable
#6738
| Job | Run time |
|---|---|
| 16s | |
| 16s |
TranslatedAssertion::getVariable
#6738
| Job | Run time |
|---|---|
| 16s | |
| 16s |