blob: b0c46054339f8852f046d558f7d4810d4226cdf0 (
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 9370d5e1ecc..6fb8273a509 100644
--- a/src/sage/features/latte.py
+++ b/src/sage/features/latte.py
@@ -35,7 +35,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)
|