minor update

lean-dojo · Sep 18, 2024 · 7f66e93 · 7f66e93
1 parent 6db9fc7
commit 7f66e93
Showing 1 changed file with 1 addition and 2 deletions.
diff --git a/src/lean_dojo/data_extraction/lean.py b/src/lean_dojo/data_extraction/lean.py
@@ -435,8 +435,7 @@ def get_lean4_version_from_config(toolchain: str) -> str:
     m = _LEAN4_VERSION_REGEX.fullmatch(toolchain.strip())
     assert m is not None, "Invalid config."
     v = m["version"]
-    if not v.startswith("v"):
-        assert v[0].isnumeric()
+    if not v.startswith("v") and v[0].isnumeric():
         v = "v" + v
     return v