Make pyright happy

Signed-off-by: Jose Luis Rivero <jrivero@osrfoundation.org>
gazebo-tooling · Sep 4, 2024 · d9a645b · d9a645b
1 parent d0812ed
commit d9a645b
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/gzdev.py b/gzdev.py
@@ -26,6 +26,7 @@
 from docopt import docopt
 
 if __name__ == '__main__':
+    assert __doc__ is not None  # make pyright happy
     args = docopt(__doc__, version='gzdev-core 0.1.0', options_first=True)
     cmd = args['<command>']
     is_valid = {'ign-docker-env': True,