From ba55ecf0637889ea934436999fc5a9de504098e9 Mon Sep 17 00:00:00 2001
From: Leonardo de Moura <leonardo@microsoft.com>
Date: Mon, 15 Oct 2018 17:19:28 -0700
Subject: [PATCH] chore(library/compiler/specialize): fix debug build

---
 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 716bbb710a..4237b88427 100644
--- a/src/library/compiler/specialize.cpp
+++ b/src/library/compiler/specialize.cpp
@@ -32,7 +32,7 @@ enum class spec_arg_kind { Fixed,
                            Other };
 
 static spec_arg_kind to_spec_arg_kind(object_ref const & r) {
-    lean_assert(is_scalar(r)); return static_cast<spec_arg_kind>(unbox(r.raw()));
+    lean_assert(is_scalar(r.raw())); return static_cast<spec_arg_kind>(unbox(r.raw()));
 }
 typedef objects spec_arg_kinds;
 static spec_arg_kinds to_spec_arg_kinds(buffer<spec_arg_kind> const & ks) {