Remove warnings

SMT-COMP · Jul 8, 2024 · 26089b4 · 26089b4
1 parent 51fe61e
commit 26089b4
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/smtcomp/main.py b/smtcomp/main.py
@@ -314,7 +314,7 @@ def print_missing(d: Dict[str, Any]) -> str:
 
 slash = pl.lit("/")
 path_of_logic_family_name = pl.concat_str(
-    pl.col("logic").first().apply(defs.Logic.name_of_int, return_dtype=pl.String),
+    pl.col("logic").first().map_elements(defs.Logic.name_of_int, return_dtype=pl.String),
     slash,
     pl.col("family").first(),
     slash,