Merge branch 'projection' into ganak

meelgroup · Nov 30, 2024 · c8fd493 · c8fd493
2 parents 7f8660c + 7169e41
commit c8fd493
Showing 1 changed file with 0 additions and 1 deletion.
diff --git a/include/stp/STPManager/STPManager.h b/include/stp/STPManager/STPManager.h
@@ -396,7 +396,6 @@ class STPMgr
   bool addProjSymbol(ASTNode& s)
   {
     _proj_symbol_list.insert(s);
-    std::cout << "Adding proj symbol: " << s << std::endl;
     return true;
   }