mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-04-10 19:27:06 +00:00
Code Activity

stdout

Browse source 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
This commit is contained in:
Nikolaj Bjorner 2021-12-13 15:19:29 -08:00
parent 9ec0f94ab9
commit b2af7ea68f
1 changed files with 0 additions and 2 deletions

2
src/smt/seq_regex.cpp
View file

@ -246,8 +246,6 @@ namespace smt {
}
if (info.interpreted) {
std::cout << "recur: " << r->get_id() << "\n";
std::cout << mk_pp(r, m) << "\n";
update_state_graph(r);
if (m_state_graph.is_dead(get_state_id(r))) {