fix min vscode version

klee-contrib · Nov 26, 2023 · e7df986 · e7df986
1 parent f5e6f2d
commit e7df986
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/TopModel.VSCode/package.json b/TopModel.VSCode/package.json
@@ -22,7 +22,7 @@
   },
   "version": "1.39.1",
   "engines": {
-    "vscode": "^1.74.0"
+    "vscode": "^1.84.1"
   },
   "categories": [
     "Programming Languages"