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/VCExpr/VCExprAST.cs | 1 -
 1 file changed, 1 deletion(-)

(limited to 'Source/VCExpr/VCExprAST.cs')

diff --git a/Source/VCExpr/VCExprAST.cs b/Source/VCExpr/VCExprAST.cs
index fcfd0041..82bdebbe 100644
--- a/Source/VCExpr/VCExprAST.cs
+++ b/Source/VCExpr/VCExprAST.cs
@@ -1202,7 +1202,6 @@ namespace Microsoft.Boogie.VCExprAST {
       : base(op) {
       Contract.Requires(op != null);
       Contract.Requires(cce.NonNullElements(arguments));
-      //this(op, arguments, EMPTY_TYPE_LIST);
       this.Arguments = arguments;
       this.TypeArgumentsAttr = EMPTY_TYPE_LIST;
       this.ExprType = op.InferType(arguments, TypeArgumentsAttr);
-- 
cgit v1.2.3