change cds checker to accomdate llvm pass

[c11tester.git] / execution.cc

diff --git a/execution.cc b/execution.cc
index 0fcf4e8d10b206e5a07062849e038c12915264a9..869833c21ccda7949c1c655bb85f62828175fa26 100644 (file)
--- a/execution.cc
+++ b/execution.cc
@@ -1132,6 +1132,7 @@ bool ModelExecution::initialize_curr_action(ModelAction **curr)
  *
  * @return True if this read established synchronization
  */
+
 bool ModelExecution::read_from(ModelAction *act, const ModelAction *rf)
 {
        ASSERT(rf);