diff --git a/NEWS b/NEWS
index 112e6f8aa..bd9a73354 100644
--- a/NEWS
+++ b/NEWS
@@ -5,6 +5,8 @@ New in spot 2.3.2.dev (not yet released)
   - ltldo and ltlcross learned shorthands to talk to ltl2da, ltl2dpa,
     and ltl2ldba (from Owl) without needing to specify %f>%O.
 
+  - genltl learned --spec-patterns as an alias for --dac-patterns
+
   Bug fixes:
 
   - In "lenient" mode the parser would fail to recover from
diff --git a/bin/genltl.cc b/bin/genltl.cc
index dc812d7be..fd9f3f091 100644
--- a/bin/genltl.cc
+++ b/bin/genltl.cc
@@ -264,6 +264,7 @@ static const argp_option options[] =
     { "dac-patterns", OPT_DAC_PATTERNS, "RANGE", OPTION_ARG_OPTIONAL,
       "Dwyer et al. [FMSP'98] Spec. Patterns for LTL "
       "(range should be included in 1..55)", 0 },
+    OPT_ALIAS(spec-patterns),
     { "eh-patterns", OPT_EH_PATTERNS, "RANGE", OPTION_ARG_OPTIONAL,
       "Etessami and Holzmann [Concur'00] patterns "
       "(range should be included in 1..12)", 0 },