diff options
Diffstat (limited to 'Source/VCExpr/VCExprASTVisitors.cs')
| -rw-r--r-- | Source/VCExpr/VCExprASTVisitors.cs | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/Source/VCExpr/VCExprASTVisitors.cs b/Source/VCExpr/VCExprASTVisitors.cs index 1675a3a7..e87b04ce 100644 --- a/Source/VCExpr/VCExprASTVisitors.cs +++ b/Source/VCExpr/VCExprASTVisitors.cs @@ -257,7 +257,11 @@ Contract.Requires(node != null); Result res = StandardResult(node, arg);
- if (node.TypeParamArity == 0) {
+ if (node.TypeParamArity == 0 &&
+ (node.Op == VCExpressionGenerator.AndOp ||
+ node.Op == VCExpressionGenerator.OrOp ||
+ node.Op == VCExpressionGenerator.ImpliesOp))
+ {
Contract.Assert(node.Op != null);
VCExprOp op = node.Op;
|