diff --git a/prism/src/prism/Prism.java b/prism/src/prism/Prism.java
index 96d4d030..23d30186 100644
--- a/prism/src/prism/Prism.java
+++ b/prism/src/prism/Prism.java
@@ -275,6 +275,15 @@ public class Prism extends PrismComponent implements PrismSettingsListener
 	// Constructors + options methods
 	//------------------------------------------------------------------------------
 
+	/**
+	 * Construct a new Prism object.
+	 * @param mainLog PrismLog where all output will be sent.
+	 */
+	public Prism(PrismLog mainLog)
+	{
+		this(mainLog, mainLog);
+	}
+
 	/**
 	 * Construct a new Prism object.
 	 * @param mainLog PrismLog where messages and model checking output will be sent.