From e1a6c5098d47385e4d68f2488cc0f45659046b86 Mon Sep 17 00:00:00 2001
From: "Christoph M. Wintersteiger" <cwinter@microsoft.com>
Date: Mon, 11 Nov 2013 17:33:02 +0000
Subject: [PATCH] fixed memory leak

Signed-off-by: Christoph M. Wintersteiger <cwinter@microsoft.com>
---
 src/ast/ast.cpp | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/ast/ast.cpp b/src/ast/ast.cpp
index 640bc7ceb..bdf1c18db 100644
--- a/src/ast/ast.cpp
+++ b/src/ast/ast.cpp
@@ -922,6 +922,7 @@ void basic_decl_plugin::finalize() {
     DEC_REF(m_and_decl);
     DEC_REF(m_or_decl);
     DEC_REF(m_not_decl);
+    DEC_REF(m_interp_decl);
     DEC_REF(m_iff_decl);
     DEC_REF(m_xor_decl);
     DEC_REF(m_implies_decl);