ModulesFile toString() function should display model type.

git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@219 bbc10eb1-c90d-0410-af57-cb519fbb1720

prism/src/parser/ModulesFile.java

@@ -794,6 +794,13 @@ public class ModulesFile
 		String s = "", tmp;
 		int i, n;
 		
+		switch (type) {
+		case PROBABILISTIC: s += "dtmc"; break;
+		case NONDETERMINISTIC: s += "mdp"; break;
+		case STOCHASTIC: s += "ctmc"; break;
+		}
+		s += "\n\n";
+		
 		tmp = "" + formulaList;
 		if (tmp.length() > 0) tmp += "\n";
 		s += tmp;