From ce6ffdcc13900c3d98c13d4cd43e786850db492b Mon Sep 17 00:00:00 2001
From: Dave Parker <dave.x.parker@gmail.com>
Date: Tue, 6 Oct 2015 15:55:19 +0000
Subject: [PATCH] Default format type for DA.print methods.

git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@10755 bbc10eb1-c90d-0410-af57-cb519fbb1720
---
 prism/src/automata/DA.java | 8 ++++++++
 1 file changed, 8 insertions(+)

diff --git a/prism/src/automata/DA.java b/prism/src/automata/DA.java
index 7b3bc5b4..8d338329 100644
--- a/prism/src/automata/DA.java
+++ b/prism/src/automata/DA.java
@@ -320,6 +320,10 @@ public class DA<Symbol, Acceptance extends AcceptanceOmega>
 		case "dot":
 			printDot(out);
 			break;
+		// Default to txt
+		default:
+			out.println(toString());
+			break;
 		}
 	}
 
@@ -338,6 +342,10 @@ public class DA<Symbol, Acceptance extends AcceptanceOmega>
 		case "hoa":
 			printHOA(out);
 			break;
+		// Default to txt
+		default:
+			out.println(toString());
+			break;
 		}
 	}