remove python3.10 syntax for type union

lean-dojo · Jan 21, 2024 · d371459 · d371459
1 parent 48a1f35
commit d371459
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/lean_dojo/data_extraction/lean.py b/src/lean_dojo/data_extraction/lean.py
@@ -37,7 +37,7 @@
 )
 
 
-def cleanse_string(s: str | Path) -> str:
+def cleanse_string(s: Union[str, Path]) -> str:
     """Replace : and / with _ in a string."""
     return str(s).replace("/", "_").replace(":", "_")