diff options
Diffstat (limited to 'src/api/java/genkinds.py')
| -rw-r--r-- | src/api/java/genkinds.py | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/src/api/java/genkinds.py b/src/api/java/genkinds.py index 955e47bae..6b2e0a5af 100644 --- a/src/api/java/genkinds.py +++ b/src/api/java/genkinds.py @@ -97,8 +97,7 @@ if __name__ == "__main__": parser = argparse.ArgumentParser('Read a kinds header file and generate a ' 'corresponding java file') parser.add_argument('--kinds-header', metavar='<KINDS_HEADER>', - help='The header file to read kinds from', - default=DEFAULT_HEADER) + help='The header file to read kinds from') parser.add_argument('--kinds-file-prefix', metavar='<KIND_FILE_PREFIX>', help='The prefix for the generated .java file', default=DEFAULT_PREFIX) |