From 27897e742eafb3c1e0609f934d58dd22f36887c6 Mon Sep 17 00:00:00 2001
From: Michal Bernhard <michal@bernhard.cz>
Date: Mon, 30 Nov 2020 16:51:12 +0100
Subject: [PATCH] add missing args argument in C# sample

see https://docs.microsoft.com/cs-cz/dotnet/csharp/programming-guide/main-and-command-args/
---
 markup/cpp | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/markup/cpp b/markup/cpp
index 5d468d6..ddb0858 100644
--- a/markup/cpp
+++ b/markup/cpp
@@ -49,7 +49,7 @@ $ java Hello||$ cat hello.cs _
 using System; _
  _
 public class Hello { _
-@<&nbsp;&nbsp;>@public static void Main() { _
+@<&nbsp;&nbsp;>@public static void Main(string[] args) { _
 @<&nbsp;&nbsp;>@@<&nbsp;&nbsp;>@Console.WriteLine("Hello, World!"); _
 @<&nbsp;&nbsp;>@} _
 } _
@@ -3839,4 +3839,4 @@ open("/Library/JVM/jdk7.0/Contents/Home/jre/lib/rt.jar\0", 0x0, 0x0)		 = 4 0
 
 [http://standards.iso.org/ittf/PubliclyAvailableStandards/c042926_ISO_IEC_23270_2006(E).zip C# Standard: ECMA-334]
 [http://www.go-mono.com/docs/ Mono API]
-[http://msdn.microsoft.com/en-us/library/67ef8sbd.aspx C# Programming Guide] Microsoft
\ No newline at end of file
+[http://msdn.microsoft.com/en-us/library/67ef8sbd.aspx C# Programming Guide] Microsoft