From 61007e009b235e1a1671b0e7e8b8387d1960f84c Mon Sep 17 00:00:00 2001
From: Riccardo Casatta <riccardo@casatta.it>
Date: Thu, 12 Mar 2026 16:10:22 +0100
Subject: [PATCH] bindings: rename finalize in csharp because reserved

---
 .github/workflows/bindings.yml | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/.github/workflows/bindings.yml b/.github/workflows/bindings.yml
index df7347a8..06dddd8f 100644
--- a/.github/workflows/bindings.yml
+++ b/.github/workflows/bindings.yml
@@ -153,6 +153,11 @@ jobs:
 
       - run: cp lwk_bindings/csharp/* csharp
 
+      - name: Patch generated C# code to avoid Finalize conflict
+        run: |
+          sed -i 's/public Transaction Finalize(/public Transaction FinalizePset(/g' csharp/lwk.cs
+          sed -i 's/public Pset Finalize(/public Pset FinalizePset(/g' csharp/lwk.cs
+
       - run: ls -R csharp
 
       - name: Archive the package