# HG changeset patch
# User wenzelm
# Date 1646772016 -3600
# Node ID b57efe7fe1d3316fe2ff70090016bf74cfcff53f
# Parent  4a9809ee1a8576a681b785c2097583dec043d3fe
more robust, pass "yarn valid-layers-check";

diff -r 4a9809ee1a85 -r b57efe7fe1d3 src/Tools/VSCode/extension/src/isabelle_encoding.ts
--- a/src/Tools/VSCode/extension/src/isabelle_encoding.ts	Tue Mar 08 17:09:09 2022 +0100
+++ b/src/Tools/VSCode/extension/src/isabelle_encoding.ts	Tue Mar 08 21:40:16 2022 +0100
@@ -7,6 +7,7 @@
 
 import { TextEncoder, TextDecoder } from 'util'   // VSCODE: REMOVE
 
+const process = require('process');
 const fs = require('fs');