From 3c5ebd3187a4a183cdc5c0ca544b7ee714dbf0f3 Mon Sep 17 00:00:00 2001
From: Joachim Klein <klein@tcs.inf.tu-dresden.de>
Date: Thu, 22 Mar 2018 11:06:59 +0100
Subject: [PATCH] PrismSettings: Fix missing break in -ltl2dasyntax handling
 (could not choose "spot" as syntax)

---
 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 ee685b68..8bdb3942 100644
--- a/prism/src/prism/PrismSettings.java
+++ b/prism/src/prism/PrismSettings.java
@@ -1436,6 +1436,7 @@ public class PrismSettings implements Observer
 					break;
 				case "spot":
 					set(PRISM_LTL2DA_SYNTAX, "Spot");
+					break;
 				case "rabinizer":
 					set(PRISM_LTL2DA_SYNTAX, "Rabinizer");
 					break;