From c9f80ff72597a8cfb7612e2a3c71b2cf75e33192 Mon Sep 17 00:00:00 2001
From: Joachim Klein <klein@tcs.inf.tu-dresden.de>
Date: Thu, 22 Mar 2018 11:06:57 +0100
Subject: [PATCH] HOAF2DA.labelExpressionToAPMonom: fix missing return in
 switch statement (for FALSE)

---
 prism/src/automata/HOAF2DA.java | 1 +
 1 file changed, 1 insertion(+)

diff --git a/prism/src/automata/HOAF2DA.java b/prism/src/automata/HOAF2DA.java
index bdb11d35..0a9ba545 100644
--- a/prism/src/automata/HOAF2DA.java
+++ b/prism/src/automata/HOAF2DA.java
@@ -529,6 +529,7 @@ public class HOAF2DA implements HOAConsumer {
 			return result;
 		case EXP_FALSE:
 			result.add(new APMonom(false));
+			return result;
 		case EXP_OR:
 			result.addAll(labelExpressionToAPMonom(expr.getLeft()));
 			result.addAll(labelExpressionToAPMonom(expr.getRight()));