diff options
| author |  MichalMoskal <unknown> | 2010-12-10 01:35:46 +0000 |
|---|---|---|
| committer | MichalMoskal <unknown> | 2010-12-10 01:35:46 +0000 |
| commit | d67cdef612efcfc6fbd27f14db712357b24552ba (patch) | |
| tree | 9563ff2042c900e444ea3cb8479f3e1b86df0a80 /Source/Provers/Simplify/ProverInterface.cs | |
| parent | 46f541d6063ca72008e009a7af5517aca5cf3789 (diff) | |
Don't crash in Context.Lookup when the namer has never seen the name. This happens when the name is never used in the VC (e.g. it gets peep-hole optimized).
Diffstat (limited to 'Source/Provers/Simplify/ProverInterface.cs')
| -rw-r--r-- | Source/Provers/Simplify/ProverInterface.cs | 2 |
1 files changed, 1 insertions, 1 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) {
|