assignment2
[mc1516the.git] / exam.tex
index 331d5d9..0b961f1 100644 (file)
--- a/exam.tex
+++ b/exam.tex
@@ -5,6 +5,7 @@
 \usepackage{url}
 
 \newcommand{\UPPAAL}{\textsc{UPPAAL}}
+\let\tt\texttt
 
 \graphicspath{{img/}}
 \DeclareGraphicsExtensions{.eps}