From 67def8da218ba5f5cb1b3b0f1d08e308bf7f7ea9 Mon Sep 17 00:00:00 2001
From: Leonardo de Moura <leonardo@microsoft.com>
Date: Thu, 28 Nov 2013 21:47:29 -0800
Subject: [PATCH] fix(library/type_inferer): typo

Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
---
 src/library/type_inferer.cpp | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/library/type_inferer.cpp b/src/library/type_inferer.cpp
index 7b3b6532c..8cfb98411 100644
--- a/src/library/type_inferer.cpp
+++ b/src/library/type_inferer.cpp
@@ -245,7 +245,7 @@ public:
         if (is_bool(t))
             return true;
         else
-            return is_bool(normalize(e, ctx));
+            return is_bool(normalize(t, ctx));
     }
 };
 type_inferer::type_inferer(environment const & env):m_ptr(new imp(env)) {}