# HG changeset patch
# User wenzelm
# Date 1648222848 -3600
# Node ID dbe4fc13a0e91bc5593b2ab58b1582a8f552bc95
# Parent  ddc7a6fc7c2dccc9c7b78cabc5172a7088f80a3c
omit somewhat pointless integrity check;

diff -r ddc7a6fc7c2d -r dbe4fc13a0e9 src/Tools/VSCode/src/vscode_main.scala
--- a/src/Tools/VSCode/src/vscode_main.scala	Fri Mar 25 16:35:15 2022 +0100
+++ b/src/Tools/VSCode/src/vscode_main.scala	Fri Mar 25 16:40:48 2022 +0100
@@ -162,12 +162,6 @@
           progress.echo("Installed Isabelle/VSCode extension " + vsix_path.expand +
             "\ninto directory: " + dir)
       }
-      val manifest = extension_manifest()
-      if (manifest.shasum != new_shasum) {
-        progress.echo_warning(
-          "Isabelle/VSCode extension " + vsix_path.expand +
-            "\ndisagrees with project sources" + extension_dir.expand)
-      }
     }
   }