summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
-rw-r--r--emacs.d/lisp/promela-mode.el2
1 files changed, 1 insertions, 1 deletions
diff --git a/emacs.d/lisp/promela-mode.el b/emacs.d/lisp/promela-mode.el
index 10cac3f..3ab4da7 100644
--- a/emacs.d/lisp/promela-mode.el
+++ b/emacs.d/lisp/promela-mode.el
@@ -354,7 +354,7 @@ If (match-beginning 2) is non-nil, the item is followed by a `value'."
;; other promela-mode specific definitions
(defconst promela-defun-prompt-regexp
- "^[ \t]*\\(d?proctype\\|init\\|inline\\|never\\|trace\\|typedef\\|mtype\\s-+=\\)[^{]*"
+ "^[ \t]*\\(\\(active \\)?d?proctype\\|init\\|inline\\|never\\|trace\\|typedef\\|mtype\\s-+=\\)[ \t][^{]*"
"Regexp describing the beginning of a Promela top-level definition.")
(defvar promela-mode-syntax-table nil