Update on Overleaf.

1 files changed, 1 insertions, 1 deletions

diff --git a/eval.tex b/eval.tex
index d2d7272..8d42ce3 100644
--- a/eval.tex
+++ b/eval.tex
@@ -40,7 +40,7 @@
     Intel i++ & $\ge 1$\\
     \bottomrule
   \end{tabular}
-  \caption{Unique bugs found in each tool.  The $\ge$ indicates a lower bound on the number of unique bugs that were found, which correspond to unique minimal test cases. %\JW{is `all versions' correct here? and should we add version numbers like in the Venn?}\YH{Yes it is actually correct here, I don't mind adding the specific version either though}\JW{Ok let's leave it as-is.}
+  \caption{Unique bugs found in each tool.  %\JW{is `all versions' correct here? and should we add version numbers like in the Venn?}\YH{Yes it is actually correct here, I don't mind adding the specific version either though}\JW{Ok let's leave it as-is.}
   }
   \label{tab:unique_bugs}
 \end{table}