From ba066dd83a61458cc61250d29ded3db6bd106ddd Mon Sep 17 00:00:00 2001
From: Erin van der Veen
Date: Fri, 6 Jul 2018 22:03:12 +0200
Subject: Trivial fixes

---
 Assignment2/report/implementation.tex | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'Assignment2/report/implementation.tex')

diff --git a/Assignment2/report/implementation.tex b/Assignment2/report/implementation.tex
index f39df5e..3acdea6 100644
--- a/Assignment2/report/implementation.tex
+++ b/Assignment2/report/implementation.tex
@@ -62,7 +62,7 @@ The Model Repair procedure for a \PRISM\ program and a property $\phi$ consists
 		The \PRISM\ program is read and parsed by stormpy.
 		Storm generates a DTMC in its internal representation.
 	\item
-		The generated DTMC $\mathcal M$ is exported in DRN format using stormpy.
+		The generated DTMC $\mathcal M$ is exported in DRN format using storm.
 		The DRN format is an explicit textual representation of DTMCs.
 		Some representative parts of the DRN of the Knuth-Yao die with $p=0.4$ are shown in \cref{fig:unfair-drn}.
 	\item
-- 
cgit v1.2.3

