diff options
Diffstat (limited to 'tools/verification/dot2')
| -rw-r--r-- | tools/verification/dot2/dot2k | 2 |
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) |