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