From 03b93e4c262ffc0c73b7e1748e9518d2f2bb6b16 Mon Sep 17 00:00:00 2001
From: Tobias Reinhard <16916681+tobireinhard@users.noreply.github.com>
Date: Wed, 28 Dec 2022 13:12:42 -0500
Subject: [PATCH] Removed comments.

---
 Test/VeriFast/tasks/vTaskSwitchContext/proof/lock_predicates.h | 3 ---
 1 file changed, 3 deletions(-)

diff --git a/Test/VeriFast/tasks/vTaskSwitchContext/proof/lock_predicates.h b/Test/VeriFast/tasks/vTaskSwitchContext/proof/lock_predicates.h
index b32016cda..5941621d5 100644
--- a/Test/VeriFast/tasks/vTaskSwitchContext/proof/lock_predicates.h
+++ b/Test/VeriFast/tasks/vTaskSwitchContext/proof/lock_predicates.h
@@ -285,9 +285,6 @@ ensures
             close foreach(nil, readOnly_TCB_runState_p(tasks, states2));
         case cons(h, rest):
             int index = index_of(updatedTask, tasks);
-//            distinct_mem_remove(t, tasks);
-//            neq_mem_remove(h, t, tasks);
-//            index_of_different(h, t, tasks);
             open foreach(subTasks, readOnly_TCB_runState_p(tasks, states));
             assert( updatedTask != h );
             index_of_different(updatedTask, h, tasks);