Remove todo

KeYProject · Mar 11, 2024 · 07ad420 · 07ad420
1 parent a6e4d68
commit 07ad420
Showing 1 changed file with 0 additions and 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
@@ -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) {