diff options
author | Michal Moskal <michal@moskal.me> | 2011-12-07 11:14:12 -0800 |
---|---|---|
committer | Michal Moskal <michal@moskal.me> | 2011-12-07 11:14:12 -0800 |
commit | be9a2d297ccd8900cccc750c15a9c02c9e23a83b (patch) | |
tree | 02cfb69273e847e8b68ecfc84d90a24fe40e5dbe /Source/Core/BoogiePL.atg | |
parent | a292a359149e852f658d33a268b175b4ba60fa38 (diff) |
Fix atg file and add comment about Set/*Variable*/
Diffstat (limited to 'Source/Core/BoogiePL.atg')
-rw-r--r-- | Source/Core/BoogiePL.atg | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Source/Core/BoogiePL.atg b/Source/Core/BoogiePL.atg index c7950c9a..33172e7f 100644 --- a/Source/Core/BoogiePL.atg +++ b/Source/Core/BoogiePL.atg @@ -97,7 +97,7 @@ private class BvBounds : Expr { Contract.Requires(stream != null);
{Contract.Assert(false);throw new cce.UnreachableException();}
}
- public override void ComputeFreeVariables(Set/*!*/ freeVars) {Contract.Requires(freeVars != null); {Contract.Assert(false);throw new cce.UnreachableException();} }
+ public override void ComputeFreeVariables(GSet<object>/*!*/ freeVars) {Contract.Requires(freeVars != null); {Contract.Assert(false);throw new cce.UnreachableException();} }
public override AI.IExpr/*!*/ IExpr { get { Contract.Ensures(Contract.Result<AI.IExpr>()!=null); {Contract.Assert(false);throw new cce.UnreachableException();} } }
}
|