Make pyright happy

Signed-off-by: Jose Luis Rivero <[email protected]>
gazebo-tooling · Sep 5, 2024 · 046b2f9 · 046b2f9
1 parent 35d3dee
commit 046b2f9
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/plugins/ign-docker-env.py b/plugins/ign-docker-env.py
@@ -117,6 +117,7 @@ def normalize_args(args):
 
 def main():
     try:
+        assert __doc__ is not None  # make pyright happy
         ignition_version, linux_distro, docker_args, vol_args = normalize_args(
             docopt(str(__doc__), version='gzdev-docker-env 0.1.0'))
         rocker_cmd = build_rocker_command(ignition_version, linux_distro, docker_args, vol_args)