fixes to model value generation for stratified inlining

1 files changed, 0 insertions, 10 deletions

diff --git a/Source/VCGeneration/ConditionGeneration.cs b/Source/VCGeneration/ConditionGeneration.cs
index 4db83be0..000126de 100644
--- a/Source/VCGeneration/ConditionGeneration.cs
+++ b/Source/VCGeneration/ConditionGeneration.cs
@@ -20,7 +20,6 @@ namespace Microsoft.Boogie {
   public class CalleeCounterexampleInfo {

     public Counterexample counterexample;

     public List<Model.Element>/*!>!*/ args;

-    public int stateIndex;

 

     [ContractInvariantMethod]

     void ObjectInvariant() {

@@ -28,15 +27,6 @@ namespace Microsoft.Boogie {
       Contract.Invariant(cce.NonNullElements(args));

     }

 

-

-    public CalleeCounterexampleInfo(Counterexample cex, List<Model.Element/*!>!*/> x, int i) {

-      Contract.Requires(cex != null);

-      Contract.Requires(cce.NonNullElements(x));

-      counterexample = cex;

-      args = x;

-      stateIndex = i;

-    }

-

     public CalleeCounterexampleInfo(Counterexample cex, List<Model.Element/*!>!*/> x) {

       Contract.Requires(cex != null);

       Contract.Requires(cce.NonNullElements(x));