diff options
Diffstat (limited to '')
| -rw-r--r-- | ftplugin/smt2.vim | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/ftplugin/smt2.vim b/ftplugin/smt2.vim index 9d4a81c0..b9d01baf 100644 --- a/ftplugin/smt2.vim +++ b/ftplugin/smt2.vim @@ -1,4 +1,5 @@ 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 @@ -24,4 +25,5 @@ nnoremap <silent> <buffer> <localleader>v :call smt2#PrintSolverVersion()<cr> " Comment String setlocal commentstring=;%s + endif |