From 39dc93e3e5da67fb5d773c84f07dffaba30aed65 Mon Sep 17 00:00:00 2001
From: Christian Heller <c.heller@plomlompom.de>
Date: Wed, 24 Sep 2025 15:45:03 +0200
Subject: [PATCH] Revert erroneous removal of sys_exit.

---
 src/run.py | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/run.py b/src/run.py
index 09bb711..adc4179 100755
--- a/src/run.py
+++ b/src/run.py
@@ -2,7 +2,7 @@
 """Match command line calls to appropriate scripts."""
 
 # standard libs
-from sys import argv
+from sys import argv, exit as sys_exit
 # non-standard libs
 from plomlib.setup import dependency_hint
 try:
-- 
2.30.2