remove extra print

meelgroup · Dec 11, 2024 · c7565c3 · c7565c3
1 parent e5fab06
commit c7565c3
Showing 1 changed file with 0 additions and 1 deletion.
diff --git a/lib/STPManager/STP.cpp b/lib/STPManager/STP.cpp
@@ -130,7 +130,6 @@ SATSolver* STP::get_new_sat_solver()
     case UserDefinedFlags::GANAK_SOLVER:
 #ifdef USE_GANAK
       newS = new GnK(bm->UserFlags.unisamp_seed);
-      std::cout << "Ganak !!!" << std::endl;
 #else
       std::cerr << "Ganak support was not enabled at configure time."
                 << std::endl;