Removed old comments about "BASEMOVE" and other constructor calls, where the conversion from Spec# into C# moved a constructor call

1 files changed, 4 insertions, 6 deletions

diff --git a/Source/Core/Duplicator.cs b/Source/Core/Duplicator.cs
index 0445be1a..36f54402 100644
--- a/Source/Core/Duplicator.cs
+++ b/Source/Core/Duplicator.cs
@@ -375,9 +375,9 @@ namespace Microsoft.Boogie {
       }

 

       public CreateSubstitutionClosure(Hashtable/*Variable!->Expr!*/ map)

-        : base() {//BASEMOVE DANGER

+        : base() {

         Contract.Requires(map != null);

-        this.map = map; //:base(); 

+        this.map = map;

       }

       public Expr/*?*/ Method(Variable v) {

         Contract.Requires(v != null);

@@ -447,10 +447,9 @@ namespace Microsoft.Boogie {
       }

 

       public NormalSubstituter(Substitution subst)

-        : base() {//BASEMOVE DANGER

+        : base() {

         Contract.Requires(subst != null);

         this.subst = subst;

-        //:base();

       }

 

       public override Expr VisitIdentifierExpr(IdentifierExpr node) {

@@ -471,12 +470,11 @@ namespace Microsoft.Boogie {
       }

 

       public ReplacingOldSubstituter(Substitution always, Substitution forold)

-        : base() {//BASEMOVE DANGER

+        : base() {

         Contract.Requires(forold != null);

         Contract.Requires(always != null);

         this.always = always;

         this.forold = forold;

-        //:base();

       }

 

       private bool insideOldExpr = false;