From ad05c4598d9ecf8bcdd2cc083963bcbc73da1649 Mon Sep 17 00:00:00 2001
From: Michael Nebel <michaelnebel@github.com>
Date: Tue, 11 Feb 2025 11:30:45 +0100
Subject: [PATCH] C#: Add the standard library to the list of references for
 debugging the traced extractor.

---
 csharp/.vscode/launch.json | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/csharp/.vscode/launch.json b/csharp/.vscode/launch.json
index 75a43a6f9aa..75d27e6708e 100644
--- a/csharp/.vscode/launch.json
+++ b/csharp/.vscode/launch.json
@@ -70,7 +70,8 @@
             // Set the path to the folder that should be extracted:
             "cwd": "${workspaceFolder}/ql/test/library-tests/dataflow/local",
             "args": [
-                "LocalDataFlow.cs"
+                "LocalDataFlow.cs",
+                "/r:System.Private.CoreLib.dll"
             ],
             "env": {},
             "stopAtEntry": true,