# HG changeset patch
# User wenzelm
# Date 1617811514 -7200
# Node ID a69197959ab6bd7d87b1c887d766bde4166d5668
# Parent  f800f8becbfbcd6e7a165ae8caa7841c2321ee8f
auto-update due to "isabelle build_vscode";

diff -r f800f8becbfb -r a69197959ab6 src/Tools/VSCode/extension/package.json
--- a/src/Tools/VSCode/extension/package.json	Wed Apr 07 18:04:45 2021 +0200
+++ b/src/Tools/VSCode/extension/package.json	Wed Apr 07 18:05:14 2021 +0200
@@ -545,7 +545,7 @@
         "@types/mocha": "^2.2.48",
         "@types/node": "^7.10.14",
         "mocha": "^3.5.3",
-        "typescript": "^3.7.9",
+        "typescript": "^3.9.9",
         "vscode": "^1.1.36"
     },
     "dependencies": {