Working sem part of report

[cc1516.git] / deliverables / report / report.tex

diff --git a/deliverables/report/report.tex b/deliverables/report/report.tex
index 5131eb0..ff25cb7 100644 (file)
--- a/deliverables/report/report.tex
+++ b/deliverables/report/report.tex
@@ -17,8 +17,11 @@
 }
 
 \newcommand{\SPLC}{\texttt{SPLC}}
-\newcommand{\SPL}{\texttt{SPLC}}
-\newcommand{\SSM}{\texttt{SPLC}}
+\newcommand{\SPL}{\texttt{SPL}}
+\newcommand{\SSM}{\texttt{SSM}}
+\def\AST/{\texttt{AST}}
+
+\let\tt\texttt
 
 \begin{document}
 \maketitle