diff options
Diffstat (limited to 'ftplugin/smt2.vim')
| -rw-r--r-- | ftplugin/smt2.vim | 6 |
1 files changed, 2 insertions, 4 deletions
diff --git a/ftplugin/smt2.vim b/ftplugin/smt2.vim index f84af275..9d4a81c0 100644 --- a/ftplugin/smt2.vim +++ b/ftplugin/smt2.vim @@ -1,7 +1,4 @@ -if exists('g:polyglot_disabled') && index(g:polyglot_disabled, 'smt2') != -1 - finish -endif - +if !exists('g:polyglot_disabled') || index(g:polyglot_disabled, 'smt2') == -1 setlocal iskeyword+=-,:,#,',$ " If no command for invoking a solver is specified in ~/.vimrc, test if either @@ -27,3 +24,4 @@ nnoremap <silent> <buffer> <localleader>v :call smt2#PrintSolverVersion()<cr> " Comment String setlocal commentstring=;%s +endif |