1 files changed, 2 insertions, 2 deletions
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;
   }