Oops, like this.

diku-dk · Apr 3, 2024 · 98f9e7e · 98f9e7e
1 parent ab19d68
commit 98f9e7e
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/futhark-highlight.el b/futhark-highlight.el
@@ -191,8 +191,8 @@ name)."
      . font-lock-constant-face)
 
       ;;; Numbers
-    (,(concat "\\(\\S_" futhark-highlight-number "\\)")
-     . font-lock-constant-face)
+    (,(concat "\\S_\\(" futhark-highlight-number "\\)")
+     . (1 font-lock-constant-face))
 
       ;;; Holes
     (,(concat "\\(" futhark-highlight-hole "\\)")