Fix for GUI REPL NPE

Convex-Dev · Mar 14, 2024 · 14027f6 · 14027f6
1 parent 59a2806
commit 14027f6
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/convex-gui/src/main/java/convex/gui/manager/windows/peer/REPLPanel.java b/convex-gui/src/main/java/convex/gui/manager/windows/peer/REPLPanel.java
@@ -96,7 +96,8 @@ protected void handleResult(Result r) {
 	}
 
 	protected void handleResult(ACell m) {
-		String resultString=RT.print(m,10000).toString();
+		AString s=RT.print(m);
+		String resultString=(s==null)?"Print limit exceeded!":s.toString();
 		int start=outputArea.getDocument().getLength();
 		addOutput(outputArea," => " + resultString + "\n");
 		int end=outputArea.getDocument().getLength();