From 07ad42092fc8beea55e30ef67ca185a67e52a204 Mon Sep 17 00:00:00 2001
From: Drodt <daniel.drodt@tu-darmstadt.de>
Date: Mon, 11 Mar 2024 11:56:46 +0100
Subject: [PATCH] Remove todo

---
 .../de/uka/ilkd/key/speclang/translation/SLResolverManager.java | 2 --
 1 file changed, 2 deletions(-)

diff --git a/key.core/src/main/java/de/uka/ilkd/key/speclang/translation/SLResolverManager.java b/key.core/src/main/java/de/uka/ilkd/key/speclang/translation/SLResolverManager.java
index d70b5230685..b7372d790af 100644
--- a/key.core/src/main/java/de/uka/ilkd/key/speclang/translation/SLResolverManager.java
+++ b/key.core/src/main/java/de/uka/ilkd/key/speclang/translation/SLResolverManager.java
@@ -82,8 +82,6 @@ private boolean isFullyQualified(String name) {
      */
     private SLExpression resolveLocal(String name) {
         Name n = new Name(name);
-        // TODO: Is checking logic vars first sufficient? Can it happen that localVariables are
-        // inside logic?
         for (Namespace<LogicVariable> ns : logicVariablesNamespaces) {
             var logicVar = ns.lookup(n);
             if (logicVar != null) {