diff --git a/main/cs.tex b/main/cs.tex
index 6e06e9c..e2e09e7 100644
--- a/main/cs.tex
+++ b/main/cs.tex
@@ -10,6 +10,7 @@
 \usepackage{setspace}
 \usepackage{verbatim}
 \usepackage{turnstile}
+\usepackage{forloop}
 
 \newcommand{\Indent}{\hspace{\algorithmicindent}}