Fix bug when setting Verific runtime string flags.

Signed-off-by: Mike Inouye <mikeinouye@google.com>
This commit is contained in:
Mike Inouye 2024-11-12 18:46:26 +00:00
parent 6d4f056a35
commit 06e3ac4415
1 changed files with 1 additions and 1 deletions

View File

@ -4184,7 +4184,7 @@ struct VerificPass : public Pass {
} }
if (v[0] == '"') { if (v[0] == '"') {
std::string s = v.substr(1, GetSize(v)-2); std::string s = v.substr(1, GetSize(v)-2);
RuntimeFlags::SetStringVar(k.c_str(), v.c_str()); RuntimeFlags::SetStringVar(k.c_str(), s.c_str());
goto check_error; goto check_error;
} }
char *endptr; char *endptr;