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