Fixes for upstream changes

digraphs · May 15, 2024 · 5416f88 · 5416f88
1 parent b81ebc6
commit 5416f88
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/gap/deprecated.gi b/gap/deprecated.gi
@@ -10,7 +10,7 @@
 
 BindGlobal("_PrintDeprecated", function(old, arg...)
   Info(InfoWarning, 1, "`", old, "` is deprecated and will be removed in v3",
-       " use `", Concatenation(List(arg, String)), "` instead!");
+       " use `", Concatenation(List(arg, AsString)), "` instead!");
 end);
 
 InstallMethod(DotDigraph, "for a digraph", [IsDigraph],