Revert erroneous removal of sys_exit.

diff --git a/src/run.py b/src/run.py
index 09bb7115b9f1c76973535a11781414691ac95ac0..adc417992326aa3b99da44744648bde14b96a433 100755 (executable)
--- 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: