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

Merge branch 'unstable' of https://git01.codeplex.com/z3 into unstable

Browse source
This commit is contained in:
Leonardo de Moura 2012-10-29 14:22:06 -07:00
parent 625db61b51 6b2f31756b
commit 1a16cf5a01
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:
--*/
#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