From 82b8d7a96bee00a188b9b7846754635d943ce9c8 Mon Sep 17 00:00:00 2001
From: Joachim Klein <klein@tcs.inf.tu-dresden.de>
Date: Thu, 4 Oct 2018 17:55:55 +0200
Subject: [PATCH] SimulatorEngine: fix switch warning (unhandled model types)

---
 prism/src/simulator/SimulatorEngine.java | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/prism/src/simulator/SimulatorEngine.java b/prism/src/simulator/SimulatorEngine.java
index bd3ca88b..ef8e55b9 100644
--- a/prism/src/simulator/SimulatorEngine.java
+++ b/prism/src/simulator/SimulatorEngine.java
@@ -48,6 +48,7 @@ import prism.PrismException;
 import prism.PrismFileLog;
 import prism.PrismLangException;
 import prism.PrismLog;
+import prism.PrismNotSupportedException;
 import prism.PrismUtils;
 import prism.ResultsCollection;
 import prism.UndefinedConstants;
@@ -329,6 +330,8 @@ public class SimulatorEngine extends PrismComponent
 			// Execute
 			executeTimedTransition(ref.i, ref.offset, rng.randomExpDouble(r), -1);
 			break;
+		default:
+			throw new PrismNotSupportedException(modelType + " not supported");
 		}
 
 		return true;