From 7d891d1875aecf20f4470675f6c0be62174d7f20 Mon Sep 17 00:00:00 2001
From: tabarbe <unknown>
Date: Thu, 19 Aug 2010 22:21:31 +0000
Subject: Boogie: Removed a completed task comment

---
 Source/BoogieDriver/BoogieDriver.cs | 1 -
 1 file changed, 1 deletion(-)

diff --git a/Source/BoogieDriver/BoogieDriver.cs b/Source/BoogieDriver/BoogieDriver.cs
index 0e99ad9b..588b2289 100644
--- a/Source/BoogieDriver/BoogieDriver.cs
+++ b/Source/BoogieDriver/BoogieDriver.cs
@@ -574,7 +574,6 @@ namespace Microsoft.Boogie {
         Contract.Assert(decl != null);
         Implementation impl = decl as Implementation;
         if (impl != null && CommandLineOptions.Clo.UserWantsToCheckRoutine(cce.NonNull(impl.Name)) && !impl.SkipVerification) {
-          //TODO: Resolve arraylist nonnulls
           List<Counterexample/*!*/>/*?*/ errors;
 
           DateTime start = new DateTime();  // to please compiler's definite assignment rules
-- 
cgit v1.2.3