Made it produce more trace output for the verification result caching.

1 files changed, 0 insertions, 1 deletions

diff --git a/Source/Core/AbsyCmd.cs b/Source/Core/AbsyCmd.cs
index 2bacc19f..a78cb71b 100644
--- a/Source/Core/AbsyCmd.cs
+++ b/Source/Core/AbsyCmd.cs
@@ -965,7 +965,6 @@ namespace Microsoft.Boogie {
         var havocCmd = cmd as HavocCmd;

         if (havocCmd != null)

         {

-          // TODO(wuestholz): Check with Rustan if this makes sense.

           tokTxtWr.Write("havoc ");

           var relevantVars = havocCmd.Vars.Where(v => usedVariables.Contains(v.Decl) && !v.Decl.Name.StartsWith("a##post##")).ToList();

           relevantVars.Emit(tokTxtWr, true);