diff --git a/prism/src/explicit/PrismExplicit.java b/prism/src/explicit/PrismExplicit.java
index ba06420f..40a4ce7e 100644
--- a/prism/src/explicit/PrismExplicit.java
+++ b/prism/src/explicit/PrismExplicit.java
@@ -138,6 +138,7 @@ public class PrismExplicit
 		mc.setMaxIters(settings.getInteger(PrismSettings.PRISM_MAX_ITERS));
 		switch (model.getModelType()) {
 		case DTMC:
+		case CTMC:
 			s = settings.getString(PrismSettings.PRISM_LIN_EQ_METHOD);
 			if (s.equals("Gauss-Seidel")) {
 				mc.setSolnMethod(StateModelChecker.SolnMethod.GAUSS_SEIDEL);