Revert erroneous removal of sys_exit.

diff --git a/src/run.py b/src/run.py
index 547aa4365d736f9dfbba4cbf85dcf8311c34f98d..92cb626c97760cb27e109b59fb8d9a55d282da45 100755 (executable)
--- a/src/run.py
+++ b/src/run.py
@@ -4,6 +4,7 @@
 # standard libs
 from os import environ
 from pathlib import Path
+from sys import exit as sys_exit
 from plomlib.setup import dependency_hint
 # non-standard libs
 try: