Removed include

Yakir Vizel · yvizel · commit d75ddaf9cb89 · 2025-02-24T15:24:44.000+02:00
diff --git a/src/cprover/chc_db.cpp b/src/cprover/chc_db.cpp
@@ -4,8 +4,6 @@
 
 #include "chc_db.h"
 
-#include <iostream>
-
 chc_dbt::chc_sett chc_dbt::m_empty_set;
 std::unordered_set<exprt, irep_hash> chc_grapht::m_expr_empty_set;
 
