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;