From bfe2715d3b19bfd79b35bfa96716ab63bb2755fd Mon Sep 17 00:00:00 2001 From: Dave Parker Date: Mon, 26 Oct 2015 14:39:43 +0000 Subject: [PATCH] Error message typo. git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@10842 bbc10eb1-c90d-0410-af57-cb519fbb1720 --- prism/src/prism/ExplicitFiles2MTBDD.java | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/prism/src/prism/ExplicitFiles2MTBDD.java b/prism/src/prism/ExplicitFiles2MTBDD.java index 6f82be51..c1da979f 100644 --- a/prism/src/prism/ExplicitFiles2MTBDD.java +++ b/prism/src/prism/ExplicitFiles2MTBDD.java @@ -730,9 +730,9 @@ public class ExplicitFiles2MTBDD // close file in.close(); } catch (IOException e) { - throw new PrismException("File I/O error reading from \"" + statesFile + "\""); + throw new PrismException("File I/O error reading from \"" + labelsFile + "\""); } catch (NumberFormatException e) { - throw new PrismException("Error detected at line " + lineNum + " of states file \"" + statesFile + "\""); + throw new PrismException("Error detected at line " + lineNum + " of labels file \"" + labelsFile + "\""); } if (count < 1) { throw new PrismException("No initial states found in labels file");