From 4f3df59be709bf0d5c5c67dc804fde49abdc2700 Mon Sep 17 00:00:00 2001 From: Adam Stankiewicz Date: Thu, 12 Sep 2019 14:33:21 +0200 Subject: Improve guard so it works for no eof new line --- autoload/smt2.vim | 2 ++ 1 file changed, 2 insertions(+) (limited to 'autoload/smt2.vim') 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 -- cgit v1.2.3