summaryrefslogtreecommitdiff
path: root/Source/VCExpr/VCExprASTVisitors.ssc
diff options
context:
space:
mode:
Diffstat (limited to 'Source/VCExpr/VCExprASTVisitors.ssc')
-rw-r--r--Source/VCExpr/VCExprASTVisitors.ssc1
1 files changed, 0 insertions, 1 deletions
diff --git a/Source/VCExpr/VCExprASTVisitors.ssc b/Source/VCExpr/VCExprASTVisitors.ssc
index 47865747..2808f6bb 100644
--- a/Source/VCExpr/VCExprASTVisitors.ssc
+++ b/Source/VCExpr/VCExprASTVisitors.ssc
@@ -163,7 +163,6 @@ namespace Microsoft.Boogie.VCExprAST
}
public object Current {
- [Pure][Reads(ReadsAttribute.Reads.Owned)]
get {
return (!)CurrentExpr;
} }