mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-06-25 07:13:41 +00:00
Code Activity

remove debug code

Browse source 
Signed-off-by: Nuno Lopes <t-nclaud@microsoft.com>
This commit is contained in:
Nuno Lopes 2013-03-20 10:40:52 -07:00
parent b8598225bf
commit ea2b17d83b
1 changed files with 0 additions and 3 deletions
Download patch file Download diff file Expand all files Collapse all files

3
src/muz_qe/dl_check_table.cpp
View file

@ -287,9 +287,6 @@ namespace datalog {
bool check_table::well_formed() const { bool check_table::well_formed() const {
get_plugin().m_count++; get_plugin().m_count++;
if (get_plugin().m_count == 497) {
std::cout << "here\n";
}
iterator it = m_tocheck->begin(), end = m_tocheck->end(); iterator it = m_tocheck->begin(), end = m_tocheck->end();
for (; it != end; ++it) { for (; it != end; ++it) {
table_fact fact; table_fact fact;