C#: Remove the cil extractor option.

michaelnebel · michaelnebel · commit eb62c033aabf · 2024-03-12T11:12:56.000+01:00
diff --git a/csharp/extractor/Semmle.Util/CommandLineOptions.cs b/csharp/extractor/Semmle.Util/CommandLineOptions.cs
@@ -40,7 +40,7 @@ public interface ICommandLineOptions
 
     public static class OptionsExtensions
     {
-        private static readonly string[] ExtractorOptions = new[] { "trap_compression", "cil" };
+        private static readonly string[] ExtractorOptions = ["trap_compression"];
         private static List<string> GetExtractorOptions()
         {
             var extractorOptions = new List<string>();

Original file line number	Diff line number	Diff line change
`@@ -40,7 +40,7 @@ public interface ICommandLineOptions`
`40`	`40`
`41`	`41`	`public static class OptionsExtensions`
`42`	`42`	`{`
`43`		`- private static readonly string[] ExtractorOptions = new[] { "trap_compression", "cil" };`
	`43`	`+ private static readonly string[] ExtractorOptions = ["trap_compression"];`
`44`	`44`	`private static List<string> GetExtractorOptions()`
`45`	`45`	`{`
`46`	`46`	`var extractorOptions = new List<string>();`