mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-04-15 13:28:47 +00:00
Code Activity

fix build of test-z3 for external release mode

Browse source 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
This commit is contained in:
Nikolaj Bjorner 2012-10-29 11:49:22 -07:00
parent 3bf6af44bf
commit 6b2f31756b
1 changed files with 0 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
src/util/imdd.cpp
View file

@ -16,7 +16,6 @@ Author:
Revision History: Revision History:
--*/ --*/
#ifndef _EXTERNAL_RELEASE
#include"imdd.h" #include"imdd.h"
#include"map.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";); STRACE("imdd_trace", tout << "mk_filter_disequal(0x" << d << ", 0x" << r.get() << ", " << var << ", " << value << ", " << memoize_res << ");\n";);
} }
#endif