diff options
| author |  Unknown <qadeer@FAIZ-AHMED-FAIZ.redmond.corp.microsoft.com> | 2012-12-28 07:38:50 -0800 |
|---|---|---|
| committer | Unknown <qadeer@FAIZ-AHMED-FAIZ.redmond.corp.microsoft.com> | 2012-12-28 07:38:50 -0800 |
| commit | fe14d9b1fd7bd816f91f58e44314b5c0772227cb (patch) | |
| tree | d42dd62801c7f7d617babe83082ed4308c7df995 /Source/VCGeneration | |
| parent | 44542347498f3dfed6cffb3c17988dbfeb9e93ea (diff) | |
extended Evaluate to handle more types
Diffstat (limited to 'Source/VCGeneration')
| -rw-r--r-- | Source/VCGeneration/Check.cs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Source/VCGeneration/Check.cs b/Source/VCGeneration/Check.cs index df438fa6..ec5fab25 100644 --- a/Source/VCGeneration/Check.cs +++ b/Source/VCGeneration/Check.cs @@ -504,7 +504,7 @@ namespace Microsoft.Boogie { }
- public virtual int Evaluate(VCExpr expr)
+ public virtual object Evaluate(VCExpr expr)
{
throw new NotImplementedException();
}
|