From 9e8a43f670e5b5a83674dc6e7839a771584c29e5 Mon Sep 17 00:00:00 2001
From: Sascha Wunderlich <sascha.wunderlich@tu-dresden.de>
Date: Tue, 22 Nov 2016 14:51:46 +0100
Subject: [PATCH] accumulation: print dotfile for DFA product

---
 prism/src/explicit/AccumulationProductRegular.java | 1 +
 1 file changed, 1 insertion(+)

diff --git a/prism/src/explicit/AccumulationProductRegular.java b/prism/src/explicit/AccumulationProductRegular.java
index 41e1b10a..232cfa8d 100644
--- a/prism/src/explicit/AccumulationProductRegular.java
+++ b/prism/src/explicit/AccumulationProductRegular.java
@@ -230,6 +230,7 @@ public class AccumulationProductRegular<M extends Model> extends AccumulationPro
 		
 		if(mc.getSettings().getBoolean(PrismSettings.ACC_GENERATE_DOTS)) {
 		  nfa.exportToDotFile("DEBUG-automaton-nfa.dot");
+		  automaton.exportToDotFile("DEBUG-automaton-dfa.dot");
 		}
 		
 		if (!automaton.isAcyclic()) {