1 files changed, 1 insertions, 0 deletions
diff --git a/main.tex b/main.tex
index 94f06b6..84b1e50 100644
--- a/main.tex
+++ b/main.tex
@@ -47,6 +47,7 @@
 \usepackage{mathpartir}
 \usepackage{subcaption}
 \usepackage{tikz}
+\usepackage{minted}
 
 \newif\ifCOMMENTS
 \COMMENTStrue