From 135e15b64d3ececc52da5940e381d4d19395c9a6 Mon Sep 17 00:00:00 2001
From: Derek Christ <derek.christ@uni-wuerzburg.de>
Date: Mon, 28 Apr 2025 19:03:37 +0200
Subject: [PATCH] Pin SystemC to 2.3.4 in vcpkg manifest

---
 vcpkg.json | 8 +++++++-
 1 file changed, 7 insertions(+), 1 deletion(-)

diff --git a/vcpkg.json b/vcpkg.json
index f4d1c3d4..a279a775 100644
--- a/vcpkg.json
+++ b/vcpkg.json
@@ -14,5 +14,11 @@
     },
     "systemc"
   ],
+  "overrides": [
+    {
+      "name": "systemc",
+      "version": "2.3.4"
+    }
+  ],
   "builtin-baseline": "ce613c41372b23b1f51333815feb3edd87ef8a8b"
-}
+}
\ No newline at end of file