diff options
| author |  Ken McMillan <unknown> | 2014-10-08 13:44:14 -0700 |
|---|---|---|
| committer | Ken McMillan <unknown> | 2014-10-08 13:44:14 -0700 |
| commit | 09152de1a52555aa8a41b245dfddd2be56dd2734 (patch) | |
| tree | 5a880b747e3762d5d9685663ff79476ccf280840 /Source/VCGeneration/Check.cs | |
| parent | e7ca01b8f249c39cdb7ae7d78908f8dab2addff7 (diff) | |
| parent | 1cca1f3efef31b9eee79bb26a5032da2620a8365 (diff) | |
Merge FixpointVC changes with mainline
Diffstat (limited to 'Source/VCGeneration/Check.cs')
| -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 8cee2675..da8624e9 100644 --- a/Source/VCGeneration/Check.cs +++ b/Source/VCGeneration/Check.cs @@ -494,7 +494,7 @@ namespace Microsoft.Boogie { public virtual Outcome CheckRPFP(string descriptiveName, RPFP vc, ErrorHandler handler,
out RPFP.Node cex,
- Dictionary<int, Dictionary<string, string>> varSubst)
+ Dictionary<int, Dictionary<string, string>> varSubst, Dictionary<string,int> extra_bound = null)
{
throw new System.NotImplementedException();
}
|