projects
/
c11tester.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
| inline |
side by side
bug fix
[c11tester.git]
/
predicate.cc
diff --git
a/predicate.cc
b/predicate.cc
index e87c695bedadccfd908c31aa4524c56082833142..f6454dbce37d3efe8b62dd920429a230d1e32070 100644
(file)
--- a/
predicate.cc
+++ b/
predicate.cc
@@
-89,7
+89,7
@@
Predicate * Predicate::follow_write_child(FuncInst * inst)
{
ASSERT(inst->get_type() == ATOMIC_WRITE);
- for (uint i = 0;
i < children.size();
i++) {
+ for (uint i = 0;
i < children.size();
i++) {
Predicate * child = children[i];
if (child->get_func_inst() == inst)
return child;