summaryrefslogtreecommitdiff
path: root/Assignment2/report/assignment2.tex
diff options
context:
space:
mode:
Diffstat (limited to 'Assignment2/report/assignment2.tex')
-rw-r--r--Assignment2/report/assignment2.tex2
1 files changed, 2 insertions, 0 deletions
diff --git a/Assignment2/report/assignment2.tex b/Assignment2/report/assignment2.tex
index 29ec95a..20f7ceb 100644
--- a/Assignment2/report/assignment2.tex
+++ b/Assignment2/report/assignment2.tex
@@ -10,6 +10,8 @@
\DeclareMathOperator{\Uop}{\mathsf{U}}
+\newcommand{\PRISM}{\texttt{PRISM}}
+
\begin{document}
\title{Model Repair in Practice}