Index: src/Validate/ReplacePseudoFunc.cpp
===================================================================
--- src/Validate/ReplacePseudoFunc.cpp	(revision dc58e5daa87c5b617ac609696ff96cc7f4d5a5a6)
+++ src/Validate/ReplacePseudoFunc.cpp	(revision 7aa209e7409d14817d320fcccfbd6cda3e67303d)
@@ -55,6 +55,5 @@
                             typedResult.strict_as<ast::ApplicationExpr>();
                         return ast::deepCopy(ret);
-                    } else if (auto posType =
-                                   argAsDecl->type.as<ast::EnumAttrType>()) {
+                    } else if (argAsDecl->type.as<ast::EnumAttrType>()) {
                         std::cerr << "PseudoFunc: succ/pred should not be applied on EnumAttrType directly" << std::endl;
                     }