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

Andreas-Krug wants to merge 1 commit intocplusplus:maincplusplus/draft:mainfrom

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