From cbc9a382e356951896a21f80f52e0e5b3e8c4e1f Mon Sep 17 00:00:00 2001
From: Marvin Borner
Date: Fri, 12 Aug 2022 18:43:27 +0200
Subject: Added prefix support

Needs some work regarding namespaces
---
 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 8bd194c..5ea9017 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\+/
+syn match bruijnNumber /([+-]\d\+)/
 syn match bruijnDefinition /^\t*\S\+/
 syn match bruijnKeyword /:test\|:import\|:print/
 syn match bruijnNamespace /[A-Z][a-z]*\(\.\)\@=/
-- 
cgit v1.2.3