From bfa3c64c4a4c583e30242da5a11b37800513418e Mon Sep 17 00:00:00 2001
From: wuestholz <unknown>
Date: Mon, 10 Jun 2013 14:34:54 -0700
Subject: Worked on improving program snapshot verification.

---
 Source/Core/Absy.cs | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

(limited to 'Source/Core')

diff --git a/Source/Core/Absy.cs b/Source/Core/Absy.cs
index fd62f334..021897f0 100644
--- a/Source/Core/Absy.cs
+++ b/Source/Core/Absy.cs
@@ -1953,6 +1953,7 @@ namespace Microsoft.Boogie {
 
     // the body is only set if the function is declared with {:inline}
     public Expr Body;
+    public Axiom DefinitionAxiom;
     public bool doingExpansion;
 
     private bool neverTrigger;
@@ -2123,7 +2124,8 @@ namespace Microsoft.Boogie {
                              new Trigger(tok, true, new ExprSeq(call), null),
                              def);
       }
-      return new Axiom(tok, def);
+      DefinitionAxiom = new Axiom(tok, def);
+      return DefinitionAxiom;
     }
   }
 
-- 
cgit v1.2.3