diff --git a/src/emacs/lean-syntax.el b/src/emacs/lean-syntax.el
index 17c5028c3..078ac5864 100644
--- a/src/emacs/lean-syntax.el
+++ b/src/emacs/lean-syntax.el
@@ -118,7 +118,7 @@
      (,(rx "\[priority" (zero-or-more (not (any "\]"))) "\]") . font-lock-doc-face)
      ;; tactics
      (,(rx (not (any "\.")) word-start
-           (or "\\b.*_tac" "Cond" "or_else" "then" "try" "when" "assumption" "rapply" "apply" "rename" "intro" "intros"
+           (or "\\b.*_tac" "Cond" "or_else" "then" "try" "when" "assumption" "eassumption" "rapply" "apply" "rename" "intro" "intros"
                "generalize" "back" "beta" "done" "exact" "repeat")
            word-end)
       . 'font-lock-constant-face)