diff --git a/.vscode/launch.json b/.vscode/launch.json index 1654267..77a7602 100644 --- a/.vscode/launch.json +++ b/.vscode/launch.json @@ -20,6 +20,9 @@ "externalConsole": false, "MIMode": "gdb", "envFile": "${workspaceFolder}/.env", + "sourceFileMap": { + "/sledge/runtime": "${workspaceFolder}/runtime" + }, "setupCommands": [ { "description": "Enable pretty-printing for gdb", @@ -70,4 +73,4 @@ ] } ] -} \ No newline at end of file +}