Forward reachability output bug.

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

prism/src/pta/ForwardsReach.java

@@ -251,7 +251,7 @@ public class ForwardsReach
 		timer = System.currentTimeMillis() - timer;
 		mainLog.println("Graph constructed in " + (timer / 1000.0) + " secs.");
 		mainLog.print("Graph: " + graph.states.size() + " symbolic states");
-		mainLog.println("), " + target.cardinality() + " target states");
+		mainLog.println(" (" + initialStates.size() + " initial, " + target.cardinality() + " target)");
 
 		// Print a warning if there are no target states
 		if (target.cardinality() == 0)