Fix a wrong substitution

Signed-off-by: Masanori Ogino <mogino@acm.org>

Signed-off-by: Masanori Ogino <167209+omasanori@users.noreply.github.com>
This commit is contained in:
Masanori Ogino 2023-12-10 17:11:33 +09:00
commit 760e20c406