From 2101e19e31cd5b158f0f96ae9da1637e05f05e0c Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Marek=20Lema=C5=84czyk?= Date: Fri, 3 Oct 2025 19:37:42 +0200 Subject: [PATCH] dotnet-script compilation error fixed. --- apply_patch.cs | 2 ++ 1 file changed, 2 insertions(+) diff --git a/apply_patch.cs b/apply_patch.cs index a2759a2..09d33df 100644 --- a/apply_patch.cs +++ b/apply_patch.cs @@ -1,3 +1,4 @@ +#nullable enable using System; using System.Collections.Generic; using System.Globalization; @@ -40,6 +41,7 @@ internal sealed class FileSnapshot public bool HadTrailingNewLine { get; set; } } +var args = Args?.ToArray() ?? Array.Empty(); if (args.Length == 0) { Console.Error.WriteLine("Usage: dotnet script apply_patch.cs -- [target-directory]");