1 files changed, 1 insertions, 1 deletions
diff --git a/main.tex b/main.tex
index 2862f13..146983d 100644
--- a/main.tex
+++ b/main.tex
@@ -23,7 +23,7 @@
 
 \newcommand\totaltestcases{6700}
 \newcommand\totaltestcasefailures{272}
-\newcommand\numuniquebugs{6}
+\newcommand\numuniquebugs{7}
 \newcommand\vivadotestcases{3645}
 
 \theoremstyle{definition}