X-Git-Url: http://demsky.eecs.uci.edu/git/?a=blobdiff_plain;f=datarace.h;h=34bfd4067dc99ad591a21d1ca621ca5498f0ff67;hb=509ea2631fffda65d966c4ddd1e18a5c2eda89c0;hp=c36af066deceec59e6e2d14e9f0c1ada872dcdc0;hpb=8c593b2e84c8e3567586098166c56271400cb8af;p=c11tester.git

diff --git a/datarace.h b/datarace.h
index c36af066..34bfd406 100644
--- a/datarace.h
+++ b/datarace.h
@@ -65,6 +65,10 @@ void raceCheckWrite16(thread_id_t thread, const void *location);
 void raceCheckWrite32(thread_id_t thread, const void *location);
 void raceCheckWrite64(thread_id_t thread, const void *location);
 
+#ifdef COLLECT_STAT
+void print_normal_accesses();
+#endif
+
 /**
  * @brief A record of information for detecting data races
  */