1 files changed, 0 insertions, 34 deletions
diff --git a/autoload/smt2.vim b/autoload/smt2.vim
deleted file mode 100644
index 1aee2635..00000000
--- a/autoload/smt2.vim
+++ /dev/null
@@ -1,34 +0,0 @@
-if polyglot#init#is_disabled(expand('<sfile>:p'), 'smt2', 'autoload/smt2.vim')
-  finish
-endif
-
-" Invokes the solver on current file
-function! smt2#RunSolver()
-    silent !clear
-    execute "!" . g:smt2_solver_command . " " . bufname("%")
-endfunction
-
-" Puts the solver's output in new split (replaces old split)
-function! smt2#RunSolverAndShowResult()
-    let output = system(g:smt2_solver_command . " " . bufname("%") . " 2>&1")
-
-    " Create split (or reuse existent)
-    if exists("s:outputbufnr") && bufwinnr(s:outputbufnr) > 0
-        execute bufwinnr(s:outputbufnr) . 'wincmd w'
-    else
-        silent! vnew
-        let s:outputbufnr=bufnr('%')
-    endif
-
-    " Clear & (re-)fill contents
-    silent! normal! ggdG
-    setlocal filetype=smt2 buftype=nofile nobuflisted noswapfile
-    call append(0, split(output, '\v\n'))
-    normal! gg
-endfunction
-
-" Requests the solver's version
-function! smt2#PrintSolverVersion()
-    silent !clear
-    execute "!" . g:smt2_solver_command . " " . g:smt2_solver_version_switch
-endfunction