Default constructor Prism() for main Prism API.

Author: davexparker

prism/src/prism/Prism.java

@@ -383,6 +383,15 @@ public class ModelDetails
 	// Constructors + options methods
 	//------------------------------------------------------------------------------
 
+	/**
+	 * Construct a new Prism object.
+	 * Output will be sent to stdout.
+	 */
+	public Prism() throws PrismException
+	{
+		this(new PrismFileLog("stdout"));
+	}
+
 	/**
 	 * Construct a new Prism object.
 	 * @param mainLog PrismLog where all output will be sent.