diff options
| author | Adam Stankiewicz <sheerun@sher.pl> | 2019-09-12 14:33:21 +0200 |
|---|---|---|
| committer | Adam Stankiewicz <sheerun@sher.pl> | 2019-09-12 15:08:44 +0200 |
| commit | 4f3df59be709bf0d5c5c67dc804fde49abdc2700 (patch) | |
| tree | 71b86b1d2c678dd2bb8411c61f83fd1cd3ec691d /autoload/smt2.vim | |
| parent | 26790941f6d4ceedbf6324eb3712949eb614908f (diff) | |
| download | vim-polyglot-4.0.3.tar.gz vim-polyglot-4.0.3.zip | |
Improve guard so it works for no eof new linev4.0.3
Diffstat (limited to 'autoload/smt2.vim')
| -rw-r--r-- | autoload/smt2.vim | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/autoload/smt2.vim b/autoload/smt2.vim index 655e0d3f..294a64c6 100644 --- a/autoload/smt2.vim +++ b/autoload/smt2.vim @@ -1,4 +1,5 @@ if !exists('g:polyglot_disabled') || index(g:polyglot_disabled, 'smt2') == -1 + " Invokes the solver on current file function! smt2#RunSolver() silent !clear @@ -29,4 +30,5 @@ function! smt2#PrintSolverVersion() silent !clear execute "!" . g:smt2_solver_command . " " . g:smt2_solver_version_switch endfunction + endif |