X-Git-Url: http://plrg.eecs.uci.edu/git/?p=c11tester.git;a=blobdiff_plain;f=execution.cc;h=e6203cb548861653ed600b83238f112f4e42d667;hp=e285156fd15d1526d2492006354fd7527535df06;hb=a7b4dab68db8b1fc466a7ca4098d5a6fb006e353;hpb=cd6a138fadb0cf3e886fa1407a3d571578b60cbe

diff --git a/execution.cc b/execution.cc
index e285156f..e6203cb5 100644
--- a/execution.cc
+++ b/execution.cc
@@ -821,8 +821,9 @@ ModelAction * ModelExecution::process_rmw(ModelAction *act) {
  *
  * @param curr The current action. Must be a read.
  * @param rf The ModelAction or Promise that curr reads from. Must be a write.
- * @param check_only Only check if the current action satisfies read 
- *        modification order or not, without modifiying priorsetand canprune
+ * @param check_only If true, then only check whether the current action satisfies
+ *        read modification order or not, without modifiying priorset and canprune.
+ *        False by default.
  * @return True if modification order edges were added; false otherwise
  */