under 5 pages!

[pintos-anon] / sigcse2009 / racedt.tex

diff --git a/sigcse2009/racedt.tex b/sigcse2009/racedt.tex
index 5200655b6cf4d2cacd48d91a3162e6fc6de2038d..d5e28719d4460c42892af90c5e9222c047da0ffb 100644 (file)
--- a/sigcse2009/racedt.tex
+++ b/sigcse2009/racedt.tex
@@ -1,4 +1,5 @@
 \section{Dynamic Analysis Tools}
+\label{sec:dynamicanalysis}
 
 Data races and invalid memory accesses are some of the most common and
 difficult to debug errors that may occur in concurrent C code.