Fix erroneous logger disposal

github · Jun 5, 2024 · d88074c · d88074c
1 parent 275192b
commit d88074c
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();
         }