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,