fix: Remove debug console log

ProVerif · Feb 8, 2024 · 4d5a7d5 · 4d5a7d5
1 parent d1e28e4
commit 4d5a7d5
Showing 1 changed file with 0 additions and 2 deletions.
diff --git a/server/src/references.ts b/server/src/references.ts
@@ -27,8 +27,6 @@ export const getReferences = async (identifier: TextDocumentIdentifier, position
     await referenceCollector.collect(definitionSymbol.uri);
     const references = referenceCollector.getReferences();
 
-    console.log(references);
-
     return references
         .map(reference => constructLocationLink(reference.uri, reference.match))
         .filter(nonNullable);