Skip to content

Commit 7293394

Browse files
committed
Some files have where on their own lines.
1 parent 2b9f351 commit 7293394

File tree

1 file changed

+1
-0
lines changed

1 file changed

+1
-0
lines changed

lua/lean/indent.lua

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -21,6 +21,7 @@ local NEVER_INDENT = vim.regex(([[^\s*\(%s\)]]):format(table.concat({
2121
'def ',
2222
'instance ',
2323
'structure ',
24+
'where',
2425
'@\\[',
2526
}, [[\|]])))
2627

0 commit comments

Comments
 (0)