From 7f66e93534107bc27e23d4269252c326154d8418 Mon Sep 17 00:00:00 2001
From: Kaiyu Yang <kaiyuy@meta.com>
Date: Wed, 18 Sep 2024 14:53:14 +0000
Subject: [PATCH] minor update

---
 src/lean_dojo/data_extraction/lean.py | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

diff --git a/src/lean_dojo/data_extraction/lean.py b/src/lean_dojo/data_extraction/lean.py
index bc9e8e4..0fc7bed 100644
--- 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