explicit std namespace

vprover · Dec 10, 2024 · 9bb39ce · 9bb39ce
1 parent 9499127
commit 9bb39ce
Show file tree

Hide file tree

Showing 2 changed files with 9 additions and 9 deletions.
diff --git a/Parse/TPTP.cpp b/Parse/TPTP.cpp
@@ -1097,7 +1097,7 @@ TPTP::ParseErrorException::ParseErrorException(std::string message,Token& tok, u
  * Exception printing a message. Currently computing a position is simplified
  * @since 08/04/2011 Manchester
  */
-void TPTP::ParseErrorException::cry(ostream& str) const
+void TPTP::ParseErrorException::cry(std::ostream& str) const
 {
   str << "Parsing Error on line " << _ln << ": ";
   str << _message << "\n";

diff --git a/Shell/UIHelper.cpp b/Shell/UIHelper.cpp
@@ -115,7 +115,7 @@ bool szsOutputMode() {
   return (Lib::env.options && Lib::env.options->outputMode() == Shell::Options::Output::SZS);
 }
 
-ostream& addCommentSignForSZS(ostream& out)
+ostream& addCommentSignForSZS(std::ostream& out)
 {
   if (szsOutputMode()) {
     out << "% ";
@@ -136,7 +136,7 @@ bool UIHelper::satisfiableStatusWasAlreadyOutput=false;
 
 bool UIHelper::spiderOutputDone = false;
 
-void UIHelper::outputAllPremises(ostream& out, UnitList* units, std::string prefix)
+void UIHelper::outputAllPremises(std::ostream& out, UnitList* units, std::string prefix)
 {
 #if 1
   InferenceStore::instance()->outputProof(cerr, units);
@@ -176,7 +176,7 @@ void UIHelper::outputAllPremises(ostream& out, UnitList* units, std::string pref
 #endif
 }
 
-void UIHelper::outputSaturatedSet(ostream& out, UnitIterator uit)
+void UIHelper::outputSaturatedSet(std::ostream& out, UnitIterator uit)
 {
   addCommentSignForSZS(out);
   out << "# SZS output start Saturation." << endl;
@@ -389,7 +389,7 @@ Problem* UIHelper::getInputProblem()
   return res;
 }
 
-void UIHelper::listLoadedPieces(ostream& out)
+void UIHelper::listLoadedPieces(std::ostream& out)
 {
   auto it = _loadedPieces.iterFifo();
   ALWAYS(it.next()._id.empty()); // skip the first, empty, entry
@@ -416,7 +416,7 @@ void UIHelper::popLoadedPiece(int numPops)
  *
  * If interpolant output is enabled, it is output in this function.
  */
-void UIHelper::outputResult(ostream& out)
+void UIHelper::outputResult(std::ostream& out)
 {
   switch (env.statistics->terminationReason) {
   case Statistics::REFUTATION: {
@@ -584,7 +584,7 @@ void UIHelper::outputResult(ostream& out)
   env.statistics->print(out);
 }
 
-void UIHelper::outputSatisfiableResult(ostream& out)
+void UIHelper::outputSatisfiableResult(std::ostream& out)
 {
   //out << "Satisfiable!\n";
   if (szsOutputMode() && !satisfiableStatusWasAlreadyOutput) {
@@ -615,7 +615,7 @@ void UIHelper::outputSatisfiableResult(ostream& out)
  * @author Andrei Voronkov
  * @since 03/07/2013 Manchester
  */
-void UIHelper::outputSymbolDeclarations(ostream& out)
+void UIHelper::outputSymbolDeclarations(std::ostream& out)
 {
   Signature& sig = *env.signature;
 
@@ -644,7 +644,7 @@ void UIHelper::outputSymbolDeclarations(ostream& out)
  * @author Andrei Voronkov
  * @since 03/07/2013 Manchester
  */
-void UIHelper::outputSymbolTypeDeclarationIfNeeded(ostream& out, bool function, bool typeCon, unsigned symNumber)
+void UIHelper::outputSymbolTypeDeclarationIfNeeded(std::ostream& out, bool function, bool typeCon, unsigned symNumber)
 {
   Signature::Symbol* sym;