From 45a5680eeb7f9372a7b5f3a5daba387e40cec3a1 Mon Sep 17 00:00:00 2001
From: Rien Maertens <rien.maertens@posteo.be>
Date: Mon, 14 Nov 2022 09:36:00 +0100
Subject: [PATCH] Make package-statement stripper even less conservative

---
 run | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/run b/run
index f715039..549ff02 100755
--- a/run
+++ b/run
@@ -220,7 +220,7 @@ fi
 cat "$(jq -r '.source' "$config")" > "$filename"
 
 # Conservative removal of package statements
-sed -i '1,2{/^package [a-zA-Z0-9_.]*;/d}' "$filename"
+sed -i '1,5{s/^package [a-zA-Z0-9_.]*;//}' "$filename"
 
 # Compiling the user code
 [ "$allow_compilation_warnings" = 'true' ] || compile_opt='-Werror'