From 1c1dd9c4ee4986770d293ba3220df13e5f9d024f Mon Sep 17 00:00:00 2001
From: Daan Sprenkels <dsprenkels@gmail.com>
Date: Wed, 16 Nov 2016 13:15:56 +0100
Subject: [PATCH] Fix V3 counters

---
 report/v3_session.tex | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/report/v3_session.tex b/report/v3_session.tex
index 18f106a..4decd56 100644
--- a/report/v3_session.tex
+++ b/report/v3_session.tex
@@ -67,6 +67,7 @@
     \end{result}
 
 
+  \setcounter{enumi}{9}
   \notapplicable{%
       \item
     Verify that only session ids generated by the application framework are
@@ -96,6 +97,7 @@
     \end{result}
 
 
+    \setcounter{enumi}{15}
     \item
       \pass{}
     Verify that the application limits the number of active concurrent sessions.
-- 
2.20.1