From 760591a681f6810ec046012656eb000f9927fc47 Mon Sep 17 00:00:00 2001
From: Joachim Klein <klein@tcs.inf.tu-dresden.de>
Date: Mon, 28 Aug 2017 12:45:48 +0200
Subject: [PATCH] param.ParamModel: set model type for model that was
 instantiated for some parameter valuation

(to properly keep track of model type)
---
 prism/src/param/ParamModel.java | 1 +
 1 file changed, 1 insertion(+)

diff --git a/prism/src/param/ParamModel.java b/prism/src/param/ParamModel.java
index d2cc329c..7eb9d4db 100644
--- a/prism/src/param/ParamModel.java
+++ b/prism/src/param/ParamModel.java
@@ -595,6 +595,7 @@ public final class ParamModel extends ModelExplicit implements MDPGeneric<Functi
 	ParamModel instantiate(Point point)
 	{
 		ParamModel result = new ParamModel();
+		result.setModelType(getModelType());
 		result.reserveMem(numStates, numTotalChoices, numTotalTransitions);
 		result.initialStates = new LinkedList<Integer>(this.initialStates);
 		for (int state = 0; state < numStates; state++) {