diff --git a/prism/src/prism/PrismFileLog.java b/prism/src/prism/PrismFileLog.java
index 23538b88..88716299 100644
--- a/prism/src/prism/PrismFileLog.java
+++ b/prism/src/prism/PrismFileLog.java
@@ -123,6 +123,12 @@ public class PrismFileLog extends PrismLog
 		return fp;
 	}
 
+	/** Get the filename (or "stdout" if writing to standard output) */
+	public String getFileName()
+	{
+		return stdout ? "stdout" : filename;
+	}
+
 	@Override
 	public void flush()
 	{