Fix printf compile issue

[c11tester.git] / datarace.h

diff --git a/datarace.h b/datarace.h
index a8f0ba323c05df01937e0b953c5b0e8abd22a70d..a83116bb311d21fe5b0bc738baf9ebc21b318664 100644 (file)
--- a/datarace.h
+++ b/datarace.h
@@ -20,7 +20,7 @@ struct ShadowBaseTable {
 
 struct DataRace {
        /* Clock and thread associated with first action.  This won't change in
-                response to synchronization. */
+                response to synchronization. */
 
        thread_id_t oldthread;
        modelclock_t oldclock;
@@ -28,7 +28,7 @@ struct DataRace {
        bool isoldwrite;
 
        /* Model action associated with second action.  This could change as
-                a result of synchronization. */
+                a result of synchronization. */
        ModelAction *newaction;
        /* Record whether this is a write, so we can tell the user. */
        bool isnewwrite;
@@ -89,4 +89,4 @@ struct RaceRecord {
 #define MAXREADVECTOR (READMASK-1)
 #define MAXWRITEVECTOR (WRITEMASK-1)
 
-#endif /* __DATARACE_H__ */
+#endif /* __DATARACE_H__ */