From 311a798e38c72d6b04953e1bfd5e9d39d9a0cb5e Mon Sep 17 00:00:00 2001
From: Gabriel Ebner <gebner@gebner.org>
Date: Tue, 7 Jun 2016 10:55:14 +0200
Subject: [PATCH] vim: *.smt2

---
 vimrc | 1 +
 1 file changed, 1 insertion(+)

diff --git a/vimrc b/vimrc
index 83cbe93..3760fd3 100644
--- a/vimrc
+++ b/vimrc
@@ -124,6 +124,7 @@ au syntax java  set ts=4 sts=4 sw=4
 au BufNewFile,BufRead *.s set ft=tptp
 au BufNewFile,BufRead *.s.out set ft=tptp
 au BufNewFile,BufRead *.tptp set ft=tptp
+au BufNewFile,BufRead *.smt2 set ft=smt
 
 au BufReadCmd *.epub call zip#Browse(expand("<amatch>"))