fix dependency name

gares · gares · commit e8dfd8cb3be4 · 2022-11-10T15:57:54.000+01:00
diff --git a/package.json b/package.json
@@ -16,7 +16,7 @@
 		"elpi"
 	],
 	"extensionDependencies": [
-		"gares.elpi",
+		"gares.elpi-lang",
 		"maximedenes.vscoq"
 	],
 	"readme": "https://github.com/LPCIC/coq-elpi-lang/README.md",
