# HG changeset patch
# User wenzelm
# Date 1646333441 -3600
# Node ID 6087947afd0ad12fb586db46755270cb6473cb8c
# Parent  481ad7da73a9ca6e54071fb6b370d8fac4bc2142
proper function call;

diff -r 481ad7da73a9 -r 6087947afd0a src/Tools/VSCode/extension/src/file.ts
--- a/src/Tools/VSCode/extension/src/file.ts	Thu Mar 03 17:30:43 2022 +0100
+++ b/src/Tools/VSCode/extension/src/file.ts	Thu Mar 03 19:50:41 2022 +0100
@@ -16,7 +16,7 @@
 
 export function cygwin_root(): string
 {
-  if (platform.is_windows) {
+  if (platform.is_windows()) {
     return library.getenv_strict("CYGWIN_ROOT")
   }
   else { return "" }
@@ -82,7 +82,7 @@
   var rest = standard_path
   const is_root = standard_path.startsWith("/")
 
-  if (platform.is_windows) {
+  if (platform.is_windows()) {
     const cygdrive_pattern = new RegExp("/cygdrive/([a-zA-Z])($|/.*)")
     const cygdrive_match = standard_path.match(cygdrive_pattern)