From 6b2f31756ba454b5d5191690a08ab0dd5a4deb71 Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Mon, 29 Oct 2012 11:49:22 -0700 Subject: [PATCH] fix build of test-z3 for external release mode Signed-off-by: Nikolaj Bjorner --- src/util/imdd.cpp | 2 -- 1 file changed, 2 deletions(-) diff --git a/src/util/imdd.cpp b/src/util/imdd.cpp index c8efca67a..1d7c6d2b2 100644 --- a/src/util/imdd.cpp +++ b/src/util/imdd.cpp @@ -16,7 +16,6 @@ Author: Revision History: --*/ -#ifndef _EXTERNAL_RELEASE #include"imdd.h" #include"map.h" @@ -3686,5 +3685,4 @@ void imdd_manager::mk_filter_disequal(imdd * d, imdd_ref & r, unsigned var, unsi STRACE("imdd_trace", tout << "mk_filter_disequal(0x" << d << ", 0x" << r.get() << ", " << var << ", " << value << ", " << memoize_res << ");\n";); } -#endif