Skip to content
Snippets Groups Projects
Commit d8fa90fe authored by hansen's avatar hansen
Browse files

c

parent 46e8231a
Branches
Tags
No related merge requests found
...@@ -62,6 +62,7 @@ public class B2TLA { ...@@ -62,6 +62,7 @@ public class B2TLA {
b2tla.evalOutput(output, true); b2tla.evalOutput(output, true);
} catch (NoClassDefFoundError e) { } catch (NoClassDefFoundError e) {
System.out.println("Can not find TLC. The tla2tools must be included in the classpath."); System.out.println("Can not find TLC. The tla2tools must be included in the classpath.");
System.out.println(e.getMessage());
} }
} }
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment