From d8fa90feb4e613f90bab6ca8d23b762e4bcd160c Mon Sep 17 00:00:00 2001 From: hansen <dominik_hansen@web.de> Date: Tue, 22 Oct 2013 17:24:03 +0200 Subject: [PATCH] c --- src/main/java/de/b2tla/B2TLA.java | 1 + 1 file changed, 1 insertion(+) diff --git a/src/main/java/de/b2tla/B2TLA.java b/src/main/java/de/b2tla/B2TLA.java index 17a4345..d8360fc 100644 --- a/src/main/java/de/b2tla/B2TLA.java +++ b/src/main/java/de/b2tla/B2TLA.java @@ -62,6 +62,7 @@ public class B2TLA { b2tla.evalOutput(output, true); } catch (NoClassDefFoundError e) { System.out.println("Can not find TLC. The tla2tools must be included in the classpath."); + System.out.println(e.getMessage()); } } -- GitLab