Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
remove an useless import in python
authorMartin Quinson <martin.quinson@loria.fr>
Tue, 23 May 2017 22:35:01 +0000 (00:35 +0200)
committerMartin Quinson <martin.quinson@loria.fr>
Tue, 23 May 2017 22:35:01 +0000 (00:35 +0200)
src/simix/simcalls.py

index 706dc92..d0f33d4 100755 (executable)
@@ -243,7 +243,6 @@ def handle(fd, func, simcalls, guarded_simcalls):
         fd.write('\n#endif\n')
 
 if __name__ == '__main__':
         fd.write('\n#endif\n')
 
 if __name__ == '__main__':
-    import sys
     simcalls, simcalls_dict = parse('simcalls.in')
 
     ok = True
     simcalls, simcalls_dict = parse('simcalls.in')
 
     ok = True