diff options
| -rw-r--r-- | Source/Provers/Simplify/ProverInterface.cs | 2 | ||||
| -rw-r--r-- | Source/Provers/Z3/ProverInterface.cs | 2 | ||||
| -rw-r--r-- | Source/Provers/Z3api/ProverLayer.cs | 2 |
3 files changed, 3 insertions, 3 deletions
diff --git a/Source/Provers/Simplify/ProverInterface.cs b/Source/Provers/Simplify/ProverInterface.cs index d747d3fd..13e381c5 100644 --- a/Source/Provers/Simplify/ProverInterface.cs +++ b/Source/Provers/Simplify/ProverInterface.cs @@ -761,7 +761,7 @@ namespace Microsoft.Boogie.Simplify { if (v != null) {
var = v;
}
- return Namer.Lookup(var);
+ return Namer.GetLocalName(var, var.Name);
}
public override string translate(VCExpr expr, int polarity) {
diff --git a/Source/Provers/Z3/ProverInterface.cs b/Source/Provers/Z3/ProverInterface.cs index af9668d4..41d2338d 100644 --- a/Source/Provers/Z3/ProverInterface.cs +++ b/Source/Provers/Z3/ProverInterface.cs @@ -299,7 +299,7 @@ REVERSE_IMPLIES=<bool> Encode P==>Q as Q||!P. if (v != null) {
var = v;
}
- return Namer.Lookup(var);
+ return Namer.GetLocalName(var, var.Name);
}
public override string translate(VCExpr expr, int polarity) {
diff --git a/Source/Provers/Z3api/ProverLayer.cs b/Source/Provers/Z3api/ProverLayer.cs index 2f2f03ce..3d58652a 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.Lookup(var);
+ return cm.Namer.GetLocalName(var, var.Name);
}
}
}
|