From feb9f13d5f15076cd8afca3dc74dda04093f8389 Mon Sep 17 00:00:00 2001
From: Leonardo de Moura <leonardo@microsoft.com>
Date: Fri, 24 Jun 2016 14:02:26 -0700
Subject: [PATCH] fix(library/defeq_canonizer): typo

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

diff --git a/src/library/defeq_canonizer.cpp b/src/library/defeq_canonizer.cpp
index d09ab4d619..1fe8e6a379 100644
--- a/src/library/defeq_canonizer.cpp
+++ b/src/library/defeq_canonizer.cpp
@@ -81,7 +81,7 @@ struct defeq_canonize_fn {
 
     void insert_M(name const & h, expr const & e) {
         list<expr> const * lst = m_cache.m_M.find(h);
-        if (*lst) {
+        if (lst) {
             m_cache.m_M.insert(h, cons(e, *lst));
         } else {
             m_cache.m_M.insert(h, to_list(e));