From 45ed81a83228739114639496c7b893552be5a831 Mon Sep 17 00:00:00 2001
From: Martin Quinson <martin.quinson@loria.fr>
Date: Wed, 24 May 2017 00:35:01 +0200
Subject: [PATCH] remove an useless import in python

---
 src/simix/simcalls.py | 1 -
 1 file changed, 1 deletion(-)

diff --git a/src/simix/simcalls.py b/src/simix/simcalls.py
index 706dc92cd6..d0f33d408c 100755
--- a/src/simix/simcalls.py
+++ b/src/simix/simcalls.py
@@ -243,7 +243,6 @@ def handle(fd, func, simcalls, guarded_simcalls):
         fd.write('\n#endif\n')
 
 if __name__ == '__main__':
-    import sys
     simcalls, simcalls_dict = parse('simcalls.in')
 
     ok = True
-- 
2.20.1