From 5344b23dd4f72216266ca061208e5da0253662b3 Mon Sep 17 00:00:00 2001
From: "Jurgen J. Vinju" <Jurgen.Vinju@cwi.nl>
Date: Sat, 17 Feb 2024 21:56:49 +0100
Subject: [PATCH] fixed missing slash

---
 src/lang/python/Parse.rsc | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/lang/python/Parse.rsc b/src/lang/python/Parse.rsc
index aace105..6576f5e 100644
--- a/src/lang/python/Parse.rsc
+++ b/src/lang/python/Parse.rsc
@@ -38,7 +38,7 @@ import ValueIO;
 import String;
 import List;
 
-loc pythonBin = exists(|PATH://python3|) ? |PATH://python3| : |PATH://python|;
+loc pythonBin = exists(|PATH:///python3|) ? |PATH:///python3| : |PATH:///python|;
 
 @synopsis="Installs the ast2json Python library using pip3"
 public void installRequirements() {