Merge branch 'master' of gitlab.science.ru.nl:mlubbers/mc1516the
[mc1516the.git] / exam.tex
index 71bd941..6ef77e8 100644 (file)
--- a/exam.tex
+++ b/exam.tex
@@ -4,6 +4,7 @@
 \usepackage{geometry}
 \usepackage{graphicx}
 \usepackage{url}
+\usepackage{amsmath}
 
 \newcommand{\UPPAAL}{\textsc{UPPAAL}}
 \let\tt\texttt