blob: 01afbbf73a1476c0ab385b8e795db6f44ea2bf47 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
|
diff --git a/src/sage/features/latte.py b/src/sage/features/latte.py
index 8f7dc23fee8..a6c13260d80 100644
--- a/src/sage/features/latte.py
+++ b/src/sage/features/latte.py
@@ -34,7 +34,7 @@ class Latte_count(Executable):
sage: isinstance(Latte_count(), Latte_count)
True
"""
- Executable.__init__(self, 'count', executable='count',
+ Executable.__init__(self, 'latte-count', executable="latte-count",
spkg='latte_int',
url=LATTE_URL)
|