From 1f985159c3ca5d15a2229a495b2c15a5a1af2dd6 Mon Sep 17 00:00:00 2001
From: Marvin Borner
Date: Fri, 25 Aug 2023 13:39:04 +0200
Subject: Added De Bruijn numerals

---
 editors/vim/syntax/bruijn.vim | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'editors/vim/syntax/bruijn.vim')

diff --git a/editors/vim/syntax/bruijn.vim b/editors/vim/syntax/bruijn.vim
index 6de2927..b7b2680 100644
--- a/editors/vim/syntax/bruijn.vim
+++ b/editors/vim/syntax/bruijn.vim
@@ -8,7 +8,7 @@ endif
 syn match bruijnApplication /[()]/
 syn match bruijnAbstraction /[[\]]/
 syn match bruijnIndex /\([^0-9]\)\@<=\d\([^0-9]\)\@=/
-syn match bruijnNumber /([+-]\d\+[ubt]\?)/
+syn match bruijnNumber /([+-]\d\+[dubt]\?)/
 syn match bruijnDefinition /^\t*\S\+/
 syn match bruijnType /\( ⧗ \)\@<=.*$/
 syn match bruijnTypeDelim / ⧗ /
-- 
cgit v1.2.3