Tweak to Prism object: simpler constructor.

git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@7641 bbc10eb1-c90d-0410-af57-cb519fbb1720

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.