diff options
Diffstat (limited to 'Source/Provers/Z3api')
-rw-r--r-- | Source/Provers/Z3api/ProverLayer.cs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Source/Provers/Z3api/ProverLayer.cs b/Source/Provers/Z3api/ProverLayer.cs index 3d58652a..2f2f03ce 100644 --- a/Source/Provers/Z3api/ProverLayer.cs +++ b/Source/Provers/Z3api/ProverLayer.cs @@ -259,7 +259,7 @@ namespace Microsoft.Boogie.Z3 public override string Lookup(VCExprVar var)
{
- return cm.Namer.GetLocalName(var, var.Name);
+ return cm.Namer.Lookup(var);
}
}
}
|