update

[ar1516.git] / ar.tex

diff --git a/ar.tex b/ar.tex
index b79c70c..9df4450 100644 (file)
--- a/ar.tex
+++ b/ar.tex
@@ -3,6 +3,7 @@
 \maketitle
 \tableofcontents
 
+\setcounter{section}{-1}
 \section{Introduction}
 Implementing all the problems by hand in SMT-Lib format would be too much work
 and therefore all problems have an accompanying bash script that does the