Format

cvc5 · Dec 3, 2024 · d474ad0 · d474ad0
1 parent bdb5d2d
commit d474ad0
Showing 1 changed file with 5 additions and 5 deletions.
diff --git a/src/type_checker.cpp b/src/type_checker.cpp
@@ -447,12 +447,12 @@ Expr TypeChecker::getTypeAppInternal(std::vector<ExprValue*>& children,
     {
       if (out)
       {
-        if (hdtypes[i]->getKind()==Kind::QUOTE_TYPE)
+        if (hdtypes[i]->getKind() == Kind::QUOTE_TYPE)
         {
           (*out) << "Unexpected child #" << i << std::endl;
-          (*out) << "  Term: " << Expr(children[i+1]) << std::endl;
+          (*out) << "  Term: " << Expr(children[i + 1]) << std::endl;
           (*out) << "  Expected pattern: " << Expr(hdt);
-          if ((*hdtypes[i])[0]!=hdt)
+          if ((*hdtypes[i])[0] != hdt)
           {
             (*out) << ", from " << Expr((*hdtypes[i])[0]);
           }
@@ -461,10 +461,10 @@ Expr TypeChecker::getTypeAppInternal(std::vector<ExprValue*>& children,
         else
         {
           (*out) << "Unexpected type of child #" << i << std::endl;
-          (*out) << "  Term: " << Expr(children[i+1]) << std::endl;
+          (*out) << "  Term: " << Expr(children[i + 1]) << std::endl;
           (*out) << "  Has type: " << Expr(ctypes[i]) << std::endl;
           (*out) << "  Expected type: " << Expr(hdt);
-          if (hdtypes[i]!=hdt)
+          if (hdtypes[i] != hdt)
           {
             (*out) << ", from " << Expr(hdtypes[i]);
           }