From 29a26482b90422056b032cb3fe75f83ba06eea21 Mon Sep 17 00:00:00 2001 From: Dave Parker Date: Thu, 29 May 2014 00:35:28 +0000 Subject: [PATCH] Bug fix: explicit engine dot export threw unnecessary exception. git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@8341 bbc10eb1-c90d-0410-af57-cb519fbb1720 --- prism/src/prism/Prism.java | 1 + 1 file changed, 1 insertion(+) diff --git a/prism/src/prism/Prism.java b/prism/src/prism/Prism.java index 8949aede..337807eb 100644 --- a/prism/src/prism/Prism.java +++ b/prism/src/prism/Prism.java @@ -2163,6 +2163,7 @@ public class Prism extends PrismComponent implements PrismSettingsListener throw new PrismException("Export not yet supported"); case Prism.EXPORT_DOT: currentModelExpl.exportToDotFile(tmpLog); + break; case Prism.EXPORT_MRMC: case Prism.EXPORT_ROWS: case Prism.EXPORT_DOT_STATES: