From a61d547278be17c3018894b8fcf1b24f815af5c3 Mon Sep 17 00:00:00 2001
From: macocianradu <rmacocian@yahoo.com>
Date: Wed, 1 Dec 2021 01:40:45 +0100
Subject: [PATCH] Added cardinality to type checking

---
 src/Semantic/ExpressionChecker.hs | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/Semantic/ExpressionChecker.hs b/src/Semantic/ExpressionChecker.hs
index bf89bcf..360d786 100644
--- a/src/Semantic/ExpressionChecker.hs
+++ b/src/Semantic/ExpressionChecker.hs
@@ -94,7 +94,7 @@ checkExpression symbolMap (IfSimple cond ex)
             -- |The unbounded or semi-bounded cardinalities already have 0 included
             Right x -> Right x
             Left err -> Left err
-    | otherwise = Left $ IfConditionNotBoolean $ show condType ++ " | " ++ show (getVars symbolMap)
+    | otherwise = Left $ IfConditionNotBoolean $ show condType
     where 
         condType = checkExpression symbolMap cond
         checkedExp = checkExpression symbolMap ex