Fix erroneous logger disposal

github · May 24, 2024 · 51d66d4 · 51d66d4
1 parent fbaeacd
commit 51d66d4
Showing 1 changed file with 0 additions and 2 deletions.
diff --git a/csharp/extractor/Semmle.Extraction.CSharp/Extractor/Analyser.cs b/csharp/extractor/Semmle.Extraction.CSharp/Extractor/Analyser.cs
@@ -312,8 +312,6 @@ public virtual void Dispose()
             else
                 Logger.Log(Severity.Info, "EXTRACTION SUCCEEDED in {0}", stopWatch.Elapsed);
 
-            Logger.Dispose();
-
             compilationTrapFile?.Dispose();
         }