From b4272d71d2df1792aa0b565deb59a536dc3beba8 Mon Sep 17 00:00:00 2001
From: dohan <dohan001@hhu.de>
Date: Fri, 24 Aug 2018 18:10:23 +0200
Subject: [PATCH] remove print of strack trace
---
src/main/java/de/tla2b/analysis/TypeChecker.java | 1 -
1 file changed, 1 deletion(-)
diff --git a/src/main/java/de/tla2b/analysis/TypeChecker.java b/src/main/java/de/tla2b/analysis/TypeChecker.java
index 542e34c..cfefe24 100644
--- a/src/main/java/de/tla2b/analysis/TypeChecker.java
+++ b/src/main/java/de/tla2b/analysis/TypeChecker.java
@@ -474,7 +474,6 @@ public class TypeChecker extends BuiltInOPs implements ASTConstants, BBuildIns,
try {
found = found.unify(expected);
} catch (UnificationException e) {
- e.printStackTrace();
throw new TypeErrorException(String.format(
"Expected %s, found %s at definition '%s',%n%s",
expected, found, def.getName(), n.getLocation()));
--
GitLab