From bb44582283ce6a0f55782b773813215960e5a638 Mon Sep 17 00:00:00 2001
From: Dave Parker <dave.x.parker@gmail.com>
Date: Thu, 19 Nov 2015 21:32:09 +0000
Subject: [PATCH] Set default values for some hidden options in PrismSettings.

git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@10905 bbc10eb1-c90d-0410-af57-cb519fbb1720
---
 prism/src/prism/PrismSettings.java | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/prism/src/prism/PrismSettings.java b/prism/src/prism/PrismSettings.java
index 43e0a9ab..b7bb0d4c 100644
--- a/prism/src/prism/PrismSettings.java
+++ b/prism/src/prism/PrismSettings.java
@@ -823,8 +823,8 @@ public class PrismSettings implements Observer
 	
 	// Export property automaton info?
 	protected boolean exportPropAut = false;
-	protected String exportPropAutType = null;
-	protected String exportPropAutFilename = null;
+	protected String exportPropAutType = "txt";
+	protected String exportPropAutFilename = "da.txt";
 	
 	public void setExportPropAut(boolean b) throws PrismException
 	{