From 26089b42e8cc5e9c47c029a7705c984058290fff Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Fran=C3=A7ois=20Bobot?= Date: Mon, 8 Jul 2024 12:49:22 +0200 Subject: [PATCH] Remove warnings --- smtcomp/main.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/smtcomp/main.py b/smtcomp/main.py index bbe9ed4c..701b18a8 100644 --- 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,