vscode: remove simfony name from repository link

gerau · KyrylR · commit 399283e47cff · 2026-05-08T12:01:14.000+03:00
diff --git a/vscode/src/compile.ts b/vscode/src/compile.ts
@@ -161,7 +161,7 @@ export function getSimcPath(): string {
   }
 
   throw new Error(
-    "simc compiler not found. See https://github.com/BlockstreamResearch/simfony#installation " +
+    "simc compiler not found. See https://github.com/BlockstreamResearch/SimplicityHL#installation " +
     "or set simplicityhl.compiler.path in settings."
   );
 }

Original file line number	Diff line number	Diff line change
`@@ -161,7 +161,7 @@ export function getSimcPath(): string {`
`161`	`161`	`}`
`162`	`162`
`163`	`163`	`throw new Error(`
`164`		`- "simc compiler not found. See https://github.com/BlockstreamResearch/simfony#installation " +`
	`164`	`+ "simc compiler not found. See https://github.com/BlockstreamResearch/SimplicityHL#installation " +`
`165`	`165`	`"or set simplicityhl.compiler.path in settings."`
`166`	`166`	`);`
`167`	`167`	`}`