Undo launch configuration change.

runtimeverification · May 28, 2024 · 815bfd7 · 815bfd7
1 parent 85fcbe7
commit 815bfd7
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.vscode/launch.json b/.vscode/launch.json
@@ -7,7 +7,7 @@
 			"request": "launch",
 			"args": [
 				"--extensionDevelopmentPath=${workspaceFolder}",
-				"${workspaceFolder}/../simbolik-examples"
+				"${workspaceFolder}/sampleWorkspace"
 			],
 			"outFiles": [
 				"${workspaceFolder}/build/*.js",