From 51a65a3a22731946c170f71a7a8fbe689ec85ce4 Mon Sep 17 00:00:00 2001
From: David Duque <david.f.s.duque@tecnico.ulisboa.pt>
Date: Fri, 17 Apr 2020 19:16:31 +0100
Subject: [PATCH] Fixes (again)

---
 tools/editconf.py | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/tools/editconf.py b/tools/editconf.py
index c6727467..d89ef60d 100644
--- a/tools/editconf.py
+++ b/tools/editconf.py
@@ -1,6 +1,7 @@
 #!/usr/bin/python3
 
-from os import system, argv
+from os import system
+from sys import argv
 
 # Pass control to the actual script
 system(f"management/editconf.py {argv[1:]}")