diff options
Diffstat (limited to 'src/dataflow/node.h')
| -rw-r--r-- | src/dataflow/node.h | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/src/dataflow/node.h b/src/dataflow/node.h index bb537afc2..a59f01357 100644 --- a/src/dataflow/node.h +++ b/src/dataflow/node.h @@ -183,10 +183,12 @@ struct Node { } break; } - case Cond: + case Cond: { if (index != other.index) { return false; } + break; + } default: {} } if (values.size() != other.values.size()) { |