From 48e07bc5014fecfdff24f75124a65634c216c9e2 Mon Sep 17 00:00:00 2001
From: Adam Stankiewicz <sheerun@sher.pl>
Date: Fri, 6 Sep 2019 15:54:31 +0200
Subject: Improve guard to support concatenated files

---
 autoload/smt2.vim | 6 ++----
 1 file changed, 2 insertions(+), 4 deletions(-)

(limited to 'autoload/smt2.vim')

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
-- 
cgit v1.2.3