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>"))