[flat.set.defn] Remove superfluous whitespace#8686

jensmaurer merged 1 commit intocplusplus:maincplusplus/draft:mainfrom

Andreas-Krug:patch-382347Andreas-Krug/draft:patch-382347Copy head branch name to clipboard