From 2f45f8c56b202540711ea4678667a30ab016b36d Mon Sep 17 00:00:00 2001 From: Dave Parker Date: Mon, 11 Nov 2013 23:15:27 +0000 Subject: [PATCH] Comment fix. git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@7576 bbc10eb1-c90d-0410-af57-cb519fbb1720 --- prism/src/explicit/DTMCModelChecker.java | 1 - 1 file changed, 1 deletion(-) diff --git a/prism/src/explicit/DTMCModelChecker.java b/prism/src/explicit/DTMCModelChecker.java index aa468ff7..de1704a0 100644 --- a/prism/src/explicit/DTMCModelChecker.java +++ b/prism/src/explicit/DTMCModelChecker.java @@ -573,7 +573,6 @@ public class DTMCModelChecker extends ProbModelChecker * Build a probability distribution, stored as a StateValues object, * from the initial states info of the current model: either probability 1 for * the (single) initial state or equiprobable over multiple initial states. - * The type of storage (MTBDD or double vector) matches the current engine. */ public StateValues buildInitialDistribution(Model model) throws PrismException {