From 58f052b1bbc326e4149babb819401e680f25440d Mon Sep 17 00:00:00 2001
From: Leonardo de Moura <leonardo@microsoft.com>
Date: Wed, 31 Dec 2014 19:03:36 -0800
Subject: [PATCH] fix(library/normalize): unitialized variable

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

diff --git a/src/library/normalize.cpp b/src/library/normalize.cpp
index 2e0249f825..3c9ffda8c2 100644
--- a/src/library/normalize.cpp
+++ b/src/library/normalize.cpp
@@ -75,7 +75,7 @@ public:
 
     normalize_fn(type_checker & tc, std::function<bool(expr const &)> const & fn): // NOLINT
         m_tc(tc), m_ngen(m_tc.mk_ngen()),
-        m_pred(fn) {}
+        m_pred(fn), m_save_cnstrs(true) {}
 
     expr operator()(expr const & e) {
         m_cnstrs = constraint_seq();