Removed the TODOs, will be done later

dafny-lang · Oct 28, 2024 · ccb30b2 · ccb30b2
1 parent 76d3e2e
commit ccb30b2
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/Source/DafnyLanguageServer/Handlers/DafnyCompletionHandler.cs b/Source/DafnyLanguageServer/Handlers/DafnyCompletionHandler.cs
@@ -164,8 +164,8 @@ private CompletionItem CreateCompletionItem(string attributeName) {
         return new CompletionItem {
           Label = attributeName,
           Kind = CompletionItemKind.Constructor,
-          InsertText = attributeName, // TODO: Parentheses
-          Detail = "" // TODO: Details of attribute name
+          InsertText = attributeName,
+          Detail = ""
         };
       }