diff options
Diffstat (limited to 'autoload/smt2.vim')
| -rw-r--r-- | autoload/smt2.vim | 6 |
1 files changed, 2 insertions, 4 deletions
diff --git a/autoload/smt2.vim b/autoload/smt2.vim index fd87febe..655e0d3f 100644 --- a/autoload/smt2.vim +++ b/autoload/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 " Invokes the solver on current file function! smt2#RunSolver() silent !clear @@ -32,3 +29,4 @@ function! smt2#PrintSolverVersion() silent !clear execute "!" . g:smt2_solver_command . " " . g:smt2_solver_version_switch endfunction +endif |