[trivial] Avoid spurious Wstringop-overflow warning. - #315

[trivial] Avoid spurious Wstringop-overflow warning.#315

FlorianPommerening merged 1 commit into

aibasel:mainaibasel/downward:mainfrom

FlorianPommerening:trivial-stringop-warningFlorianPommerening/downward:trivial-stringop-warningCopy head branch name to clipboard