From 8dc08d3733461ebe0ea770d0af07fdd4cfa00b64 Mon Sep 17 00:00:00 2001 From: Kevin Zakka Date: Tue, 29 Mar 2022 09:57:17 -0700 Subject: [PATCH] Use mujoco function instead. --- python/mujoco/__init__.py | 10 +--------- 1 file changed, 1 insertion(+), 9 deletions(-) diff --git a/python/mujoco/__init__.py b/python/mujoco/__init__.py index be11fe22..1f5aaf6d 100644 --- a/python/mujoco/__init__.py +++ b/python/mujoco/__init__.py @@ -81,12 +81,4 @@ if _MUJOCO_GL not in _MUJOCO_GL_DISABLE: from mujoco.glfw import GLContext -def _get_version() -> str: - with open(os.path.join(HEADERS_DIR, 'mujoco.h'), 'r') as f: - for line in f: - if line.startswith('#define mjVERSION_HEADER'): - version = line.split()[2] - break - return '.'.join([d for d in str(version)]) - -__version__ = _get_version() +__version__ = mj_versionString()