diff --git a/prism/src/userinterface/properties/GUIProperty.java b/prism/src/userinterface/properties/GUIProperty.java
index d2fa29cc..ed5d9d14 100644
--- a/prism/src/userinterface/properties/GUIProperty.java
+++ b/prism/src/userinterface/properties/GUIProperty.java
@@ -256,7 +256,7 @@ public class GUIProperty
case STATUS_RESULT_ERROR:
return getResultString();
default:
- return "Result: " + getResultString();
+ return "Result: " + getResultString().replaceAll("\n", "
") + "";
}
}
diff --git a/prism/src/userinterface/properties/GUIPropertyResultDialog.java b/prism/src/userinterface/properties/GUIPropertyResultDialog.java
index debb4473..4f42e436 100644
--- a/prism/src/userinterface/properties/GUIPropertyResultDialog.java
+++ b/prism/src/userinterface/properties/GUIPropertyResultDialog.java
@@ -51,7 +51,7 @@ public class GUIPropertyResultDialog extends javax.swing.JDialog
propertyLabel.setText(gp.getPropString());
constantsLabel.setText(gp.getConstantsString());
methodLabel.setText(gp.getMethodString());
- resultLabel.setText(gp.getResultString());
+ resultLabel.setText("" + gp.getResultString().replaceAll("\n", "
") + "");
if (gp.getNumberOfWarnings() == 0) {
warningLabel.setText("");
} else if (gp.getNumberOfWarnings() == 1) {