Tidied up molecules example(s).

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

prism-examples/molecules/knacl.sm

@@ -2,7 +2,7 @@
 // dxp/gxn 04/10/04
 
 // ctmc model
-stochastic
+ctmc
 
 // constants
 const int N1 = 10; // number of Na molecules

prism-examples/molecules/mc.sm

@@ -2,7 +2,7 @@
 // dxp/gxn 04/10/04
 
 // ctmc model
-stochastic
+ctmc
 
 // constants
 const int N1 = 10; // number of Mg molecules

prism-examples/molecules/nacl.sm

@@ -2,7 +2,7 @@
 // dxp/gxn 09/06/04
 
 // ctmc model
-stochastic
+ctmc
 
 // constants
 const int N1 = 10; // number of Na molecules
@@ -41,8 +41,6 @@ const double e2rate = 10; // Na+ + Cl- -> Na + Cl
 // module representing the base rates of reactions
 module base_rates
 	
-	dummy : bool; // dummy variable
-	
 	[e1] true -> e1rate : true;
 	[e2] true -> e2rate : true;