Bug fix

[c11tester.git] / execution.cc

diff --git a/execution.cc b/execution.cc
index 377cd01cf602899e02a817044f6d6e8e2ccc287a..3a73e353358d52a8a1f307f809d117a746c31545 100644 (file)
--- a/execution.cc
+++ b/execution.cc
@@ -322,7 +322,7 @@ bool ModelExecution::process_read(ModelAction *curr, SnapVector<ModelAction *> *
                }
 
                ASSERT(false);
-               /* Following code not needed anymore */
+               /* TODO: Following code not needed anymore */
                priorset->clear();
                (*rf_set)[index] = rf_set->back();
                rf_set->pop_back();