From 565f2882d8cd22ff5a189cfdf1e24abbf1303b1c Mon Sep 17 00:00:00 2001
From: Dave Parker <dave.x.parker@gmail.com>
Date: Mon, 25 Nov 2013 23:03:47 +0000
Subject: [PATCH] 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 | 9 +++++++++
 1 file changed, 9 insertions(+)

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.