From d67cdef612efcfc6fbd27f14db712357b24552ba Mon Sep 17 00:00:00 2001
From: MichalMoskal <unknown>
Date: Fri, 10 Dec 2010 01:35:46 +0000
Subject: 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).

---
 Source/Provers/Simplify/ProverInterface.cs | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'Source/Provers/Simplify')

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) {
-- 
cgit v1.2.3