From b0a993ddc6c3fceb8ef03dd7e3ca543efcee5550 Mon Sep 17 00:00:00 2001
From: ajreynol <andrew.j.reynolds@gmail.com>
Date: Thu, 10 Oct 2024 12:12:19 -0500
Subject: [PATCH] Format

---
 src/expr_parser.cpp | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/expr_parser.cpp b/src/expr_parser.cpp
index 68a42d4..57091ca 100644
--- 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;