add a comment to TSO_MARKED

diff --git a/includes/rts/Constants.h b/includes/rts/Constants.h
index 071d094..82f3bdd 100644 (file)
--- a/includes/rts/Constants.h
+++ b/includes/rts/Constants.h
@@ -257,6 +257,10 @@
  */
 #define TSO_LINK_DIRTY 32
 
+/*
+ * Used by the sanity checker to check whether TSOs are on the correct
+ * mutable list.
+ */
 #define TSO_MARKED 64
 
 /* -----------------------------------------------------------------------------