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()) {