commit 97ff5a27c92b240209d1f1923718f64ad05b9b7a
author Ed Willink <ed@willink.me.uk> Sun May 24 10:58:05 2020 +0100
committer Ed Willink <ed@willink.me.uk> Sun Jun 28 23:47:02 2020 +0100
tree 2905e9d4fccbc744772a6b04d57bf96655da0a25
parent 0a6ee1876bd810fe4c3aa783905cc45889776438

[unrelated] Fix warning

plugins/org.eclipse.qvtd.runtime/src/org/eclipse/qvtd/runtime/evaluation/InvocationFailedException.java

diff --git a/plugins/org.eclipse.qvtd.runtime/src/org/eclipse/qvtd/runtime/evaluation/InvocationFailedException.java b/plugins/org.eclipse.qvtd.runtime/src/org/eclipse/qvtd/runtime/evaluation/InvocationFailedException.java
index fbed6e4..4e3d774 100644
--- a/plugins/org.eclipse.qvtd.runtime/src/org/eclipse/qvtd/runtime/evaluation/InvocationFailedException.java
+++ b/plugins/org.eclipse.qvtd.runtime/src/org/eclipse/qvtd/runtime/evaluation/InvocationFailedException.java
@@ -31,7 +31,7 @@
 	}
 
 	@Override
-	public String toString() {
-		return slotState.toString();
+	public @NonNull String toString() {
+		return String.valueOf(slotState);
 	}
 }
\ No newline at end of file