Format

cvc5 · Dec 20, 2024 · 4ad5aaa · 4ad5aaa
1 parent 4331a9d
commit 4ad5aaa
Showing 1 changed file with 4 additions and 2 deletions.
diff --git a/src/state.cpp b/src/state.cpp
@@ -321,9 +321,11 @@ bool State::includeFile(const std::string& s, bool isSignature, bool isReference
   Trace("state") << "...finished" << std::endl;
   if (getAssumptionLevel()!=0)
   {
-    Assert(!d_declsSizeCtx.empty() && d_declsSizeCtx.back()<d_decls.size());
+    Assert(!d_declsSizeCtx.empty() && d_declsSizeCtx.back() < d_decls.size());
     EO_FATAL() << "Including file " << inputPath.getRawPath()
-                 << " did not preserve assumption scope. The most recent open assumption was " << d_decls[d_declsSizeCtx.back()] << ".";
+               << " did not preserve assumption scope. The most recent open "
+                  "assumption was "
+               << d_decls[d_declsSizeCtx.back()] << ".";
   }
   return true;
 }