From 6434dc0adc3bcbdf47e1ae9ec273c07956417eca Mon Sep 17 00:00:00 2001 From: Martin Zacho Date: Sun, 25 Dec 2022 22:15:55 +0100 Subject: [PATCH] fix(TypeAnalysis): remove duplicated brackets from printed solution --- src/tip/analysis/TypeAnalysis.scala | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/tip/analysis/TypeAnalysis.scala b/src/tip/analysis/TypeAnalysis.scala index 72398105..684b5184 100644 --- a/src/tip/analysis/TypeAnalysis.scala +++ b/src/tip/analysis/TypeAnalysis.scala @@ -73,7 +73,7 @@ class TypeAnalysis(program: AProgram)(implicit declData: DeclarationData) extend // close the terms and create the TypeData new DepthFirstAstVisitor[Unit] { val sol: Map[Var[Type], Term[Type]] = solver.solution() - log.info(s"Solution (not yet closed):\n${sol.map { case (k, v) => s" \u27E6$k\u27E7 = $v" }.mkString("\n")}") + log.info(s"Solution (not yet closed):\n${sol.map { case (k, v) => s" $k = $v" }.mkString("\n")}") val freshvars: mutable.Map[Var[Type], Var[Type]] = mutable.Map() visit(program, ())