From 8976cf9acecf546df33e7a34fa83367e49b2cbd7 Mon Sep 17 00:00:00 2001
From: Joachim Klein <klein@tcs.inf.tu-dresden.de>
Date: Tue, 28 Jul 2015 14:33:34 +0000
Subject: [PATCH] set default file type for -exportpropaut

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

diff --git a/prism/src/prism/PrismSettings.java b/prism/src/prism/PrismSettings.java
index 5c268602..831efdd6 100644
--- a/prism/src/prism/PrismSettings.java
+++ b/prism/src/prism/PrismSettings.java
@@ -1494,6 +1494,7 @@ public class PrismSettings implements Observer
 			if (i < args.length - 1) {
 				setExportPropAut(true);
 				setExportPropAutFilename(args[++i]);
+				setExportPropAutType("txt");  // default
 				for (Map.Entry<String, String> option : options.entrySet()) {
 				    if (option.getKey().equals("txt")) {
 						setExportPropAutType("txt");