From 1647e4451095465dfd088505e9e79ff9050b0d7d Mon Sep 17 00:00:00 2001 From: Leonardo de Moura Date: Sun, 22 Sep 2013 18:53:58 -0700 Subject: [PATCH] Fix memory corruption bug Signed-off-by: Leonardo de Moura --- src/kernel/metavar.cpp | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/kernel/metavar.cpp b/src/kernel/metavar.cpp index 7b575d016..cfaaa5ea0 100644 --- a/src/kernel/metavar.cpp +++ b/src/kernel/metavar.cpp @@ -61,7 +61,7 @@ expr metavar_env::get_subst(unsigned midx) const { } expr metavar_env::get_type(unsigned midx, unification_problems & up) { - data const & d = m_env[midx]; + data d = m_env[midx]; expr t = d.m_type; if (t) { return t;