diff options
Diffstat (limited to 'Source/VCExpr/VCExprASTVisitors.ssc')
| -rw-r--r-- | Source/VCExpr/VCExprASTVisitors.ssc | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Source/VCExpr/VCExprASTVisitors.ssc b/Source/VCExpr/VCExprASTVisitors.ssc index cbb4ab8f..47865747 100644 --- a/Source/VCExpr/VCExprASTVisitors.ssc +++ b/Source/VCExpr/VCExprASTVisitors.ssc @@ -81,7 +81,7 @@ namespace Microsoft.Boogie.VCExprAST VCExprOp! op = node.Op;
IEnumerator enumerator = new VCExprNAryUniformOpEnumerator(node);
- enumerator.MoveNext();
+ enumerator.MoveNext(); // skip the node itself
while (enumerator.MoveNext()) {
VCExpr! expr = (VCExpr!)enumerator.Current;
|