PrismSettings: Fix missing break in -ltl2dasyntax handling (could not choose "spot" as syntax)

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;