Skip to content

Commit d75ddaf

Browse files
Yakir Vizelyvizel
authored andcommitted
Removed include
1 parent d4d3835 commit d75ddaf

File tree

1 file changed

+0
-2
lines changed

1 file changed

+0
-2
lines changed

src/cprover/chc_db.cpp

Lines changed: 0 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -4,8 +4,6 @@
44

55
#include "chc_db.h"
66

7-
#include <iostream>
8-
97
chc_dbt::chc_sett chc_dbt::m_empty_set;
108
std::unordered_set<exprt, irep_hash> chc_grapht::m_expr_empty_set;
119

0 commit comments

Comments
 (0)