suggested change in src/sage/features/nauty.py

dcoudert · dcoudert · commit 5ad350cd1b5e · 2023-12-22T08:47:45.000+01:00
diff --git a/src/sage/features/nauty.py b/src/sage/features/nauty.py
@@ -62,7 +62,7 @@ def __init__(self):
         """
         JoinFeature.__init__(self, "nauty",
                              [NautyExecutable(name)
-                              for name in ('directg', 'gentourng', 'geng', 'genbg', 'gentreeg', 'converseg')])
+                              for name in ('directg', 'gentourng', 'geng', 'genbg', 'gentreeg', 'genktreeg')])
 
 
 def all_features():
