From fc8a90331a6e2a691710aa3cee12453d91d2a8c9 Mon Sep 17 00:00:00 2001
From: Gabriel Ebner <gebner@gebner.org>
Date: Tue, 7 Dec 2021 19:30:12 +0100
Subject: [PATCH] vim: lean3 comment def

---
 vimrc | 1 +
 1 file changed, 1 insertion(+)

diff --git a/vimrc b/vimrc
index dc2ae85..123c54a 100644
--- a/vimrc
+++ b/vimrc
@@ -189,6 +189,7 @@ call tcomment#type#Define('chaskell', '-- %s')
 call tcomment#type#Define('vala', '// %s')
 call tcomment#type#Define('tptp', '%% %s')
 call tcomment#type#Define('lean', '-- %s')
+call tcomment#type#Define('lean3', '-- %s')
 
 au syntax tex setl iskeyword+=:
 au syntax tex syn region texZone start="\\begin{clilisting}" end="\\end{clilisting}\|%stopzone\>"