From d16213bd3b7f5b08ebddf85c5dac62a17fbf7e66 Mon Sep 17 00:00:00 2001
From: Unknown <leino@LEINO6.redmond.corp.microsoft.com>
Date: Mon, 7 Jan 2013 13:56:41 -0800
Subject: Removed old comments about "BASEMOVE" and other constructor calls,
 where the conversion from Spec# into C# moved a constructor call

---
 Source/Core/BoogiePL.atg | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'Source/Core/BoogiePL.atg')

diff --git a/Source/Core/BoogiePL.atg b/Source/Core/BoogiePL.atg
index 96ba9824..d5a1df2d 100644
--- a/Source/Core/BoogiePL.atg
+++ b/Source/Core/BoogiePL.atg
@@ -97,9 +97,9 @@ public Parser(Scanner/*!*/ scanner, Errors/*!*/ errors, bool disambiguation)
 private class BvBounds : Expr {
   public BigNum Lower;
   public BigNum Upper;
-  public BvBounds(IToken/*!*/ tok, BigNum lower, BigNum upper) :base(tok){//BASEMOVE
+  public BvBounds(IToken/*!*/ tok, BigNum lower, BigNum upper)
+    : base(tok) {
     Contract.Requires(tok != null);
-    //:base(tok);
     this.Lower = lower;
     this.Upper = upper;
   }
-- 
cgit v1.2.3