fix(frontends/lean/decl_cmds): warning message when compiling with clang++