Index: src/Validate/ReplacePseudoFunc.cpp
===================================================================
--- src/Validate/ReplacePseudoFunc.cpp	(revision dc58e5daa87c5b617ac609696ff96cc7f4d5a5a6)
+++ src/Validate/ReplacePseudoFunc.cpp	(revision 60c5b6dce8bf1bdb1b5087da4164045ec1a875f4)
@@ -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;
                     }