StringRef::startswith was deprecated, use starts_with

google · Aug 28, 2024 · 963d4df · 963d4df
1 parent ae49378
commit 963d4df
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/lib/SMTLIB2/Solver.cpp b/lib/SMTLIB2/Solver.cpp
@@ -276,7 +276,7 @@ class ProcessSMTLIBSolver : public SMTLIBSolver {
         return EC;
       }
 
-      if ((*MB)->getBuffer().startswith("sat\n")) {
+      if ((*MB)->getBuffer().starts_with("sat\n")) {
         ::remove(OutputPath.c_str());
         Result = true;
         ++Sats;
@@ -288,7 +288,7 @@ class ProcessSMTLIBSolver : public SMTLIBSolver {
         if (!ErrStr.empty())
           return std::make_error_code(std::errc::protocol_error);
         return std::error_code();
-      } else if ((*MB)->getBuffer().startswith("unsat\n")) {
+      } else if ((*MB)->getBuffer().starts_with("unsat\n")) {
         ::remove(OutputPath.c_str());
         Result = false;
         ++Unsats;