X-Git-Url: https://git.martlubbers.net/?a=blobdiff_plain;f=exam.tex;h=6ef77e81a5aa212a1f05f8bd8bde226b849d0cb5;hb=f35657b9be8245e8998b309110827a3b47b55a1f;hp=71bd9411857d55c8c0bdaf61922b29b35de29829;hpb=0ac1a13a095828aa6a69e174b569933747de3393;p=mc1516the.git

diff --git a/exam.tex b/exam.tex
index 71bd941..6ef77e8 100644
--- 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