summaryrefslogtreecommitdiffstats
path: root/tools/verification/dot2
diff options
context:
space:
mode:
Diffstat (limited to 'tools/verification/dot2')
-rw-r--r--tools/verification/dot2/dot2k2
1 files changed, 0 insertions, 2 deletions
diff --git a/tools/verification/dot2/dot2k b/tools/verification/dot2/dot2k
index 9dcd38abe2..d4d7e52d54 100644
--- a/tools/verification/dot2/dot2k
+++ b/tools/verification/dot2/dot2k
@@ -15,8 +15,6 @@ if __name__ == '__main__':
import os
import platform
import sys
- import sys
- import argparse
parser = argparse.ArgumentParser(description='transform .dot file into kernel rv monitor')
parser.add_argument('-d', "--dot", dest="dot_file", required=True)