diff options
author | qadeer <qadeer@microsoft.com> | 2011-06-22 10:47:56 -0700 |
---|---|---|
committer | qadeer <qadeer@microsoft.com> | 2011-06-22 10:47:56 -0700 |
commit | 4eca552a65a0bfc9a81cae24906a3ecb8ae7768a (patch) | |
tree | 64c295b0c6e881a89b2e4198de353ce316f8bf9d /Source/Provers/Z3api/SafeContext.cs | |
parent | da900fd75d17b681eb5895daeceec3a0f35d90ce (diff) |
various fixes to port to latest version of Microsoft.Z3.dll
Diffstat (limited to 'Source/Provers/Z3api/SafeContext.cs')
-rw-r--r-- | Source/Provers/Z3api/SafeContext.cs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Source/Provers/Z3api/SafeContext.cs b/Source/Provers/Z3api/SafeContext.cs index a7ed29eb..30207e75 100644 --- a/Source/Provers/Z3api/SafeContext.cs +++ b/Source/Provers/Z3api/SafeContext.cs @@ -315,7 +315,7 @@ namespace Microsoft.Boogie.Z3 private Z3ErrorModelAndLabels BuildZ3ErrorModel(Model z3Model, List<string> relevantLabels)
{
- BoogieErrorModelBuilder boogieErrorBuilder = new BoogieErrorModelBuilder(this);
+ BoogieErrorModelBuilder boogieErrorBuilder = new BoogieErrorModelBuilder(this, z3Model);
Z3ErrorModel boogieModel = boogieErrorBuilder.BuildBoogieModel(z3Model);
return new Z3ErrorModelAndLabels(boogieModel, new List<string>(relevantLabels));
}
|