Format

cvc5 · Oct 10, 2024 · b0a993d · b0a993d
1 parent bd8b130
commit b0a993d
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/expr_parser.cpp b/src/expr_parser.cpp
@@ -662,7 +662,7 @@ Expr ExprParser::parseType()
   typeCheck(e, d_state.mkType());
   // should not contain stuck term
   if (e.isGround() && e.isEvaluatable())
-  {   
+  {
     std::stringstream msg;
     msg << "Parsed type has an unevalated term:" << std::endl;
     msg << "Type: " << e << std::endl;