From f80ea590ba2db5e814bd4bd5b47399d3f20e00e6 Mon Sep 17 00:00:00 2001
From: Leonardo de Moura <leonardo@microsoft.com>
Date: Tue, 16 Oct 2018 09:57:01 -0700
Subject: [PATCH] fix(library/compiler/specialize): typo

---
 src/library/compiler/specialize.cpp | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/library/compiler/specialize.cpp b/src/library/compiler/specialize.cpp
index 76af9bebc5..a2e9f18e88 100644
--- a/src/library/compiler/specialize.cpp
+++ b/src/library/compiler/specialize.cpp
@@ -234,7 +234,7 @@ environment update_spec_info(environment const & env, comp_decls const & ds) {
                         info.second.push_back(spec_arg_kind::FixedHO);
                     }
                 } else {
-                    info.second.push_back(spec_arg_kind::FixedNeutral);
+                    info.second.push_back(spec_arg_kind::Fixed);
                 }
             }
             code = binding_body(code);