From 5332421dff4f8491f4d76da73ce59c81c1a732dd Mon Sep 17 00:00:00 2001 From: Dave Parker Date: Tue, 22 Dec 2015 09:30:29 +0000 Subject: [PATCH] Comment typo. git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@11071 bbc10eb1-c90d-0410-af57-cb519fbb1720 --- prism/src/prism/StateModelChecker.java | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/prism/src/prism/StateModelChecker.java b/prism/src/prism/StateModelChecker.java index b4cea099..2e43955a 100644 --- a/prism/src/prism/StateModelChecker.java +++ b/prism/src/prism/StateModelChecker.java @@ -331,7 +331,7 @@ public class StateModelChecker extends PrismComponent implements ModelChecker * It is always possible to convert between these two forms but this will not always be * efficient. In particular, we want to avoid creating: (a) explicit vectors for very large * models where the vector can only be feasibly stored as an MTBDD; (b) and symbolic - * vectors for irregular vectors which ar small enough to be stored explicitly but would + * vectors for irregular vectors which are small enough to be stored explicitly but would * blow up as an MTBDD. * * Various schemes (and user preferences/configurations) are possible. Currently: