diff --git a/src/main/java/de/tlc4b/tlc/TLCResults.java b/src/main/java/de/tlc4b/tlc/TLCResults.java
index 48c4cced931d1ea73cfdd2d5163e8fbb7e90bca2..a8c4e42ff931a342cf2aad6a02fb3651e56b149f 100644
--- a/src/main/java/de/tlc4b/tlc/TLCResults.java
+++ b/src/main/java/de/tlc4b/tlc/TLCResults.java
@@ -180,7 +180,7 @@ public class TLCResults implements ToolGlobals {
 	private void evalTrace() {
 		List<TLCStateInfo> trace = OutputCollector.getTrace();
 		TracePrinter printer = null;
-		if (trace != null) {
+		if (!trace.isEmpty()) {
 			printer = new TracePrinter(trace, tlcOutputInfo);
 		} else if (OutputCollector.getInitialState() != null) {
 			printer = new TracePrinter(OutputCollector.getInitialState(), tlcOutputInfo);