From 3f549cfca4c44a571dfd8c04e00244b63dc4d0d6 Mon Sep 17 00:00:00 2001
From: Connor Olding <cloningdonor@gmail.com>
Date: Sun, 26 May 2019 20:54:52 +0200
Subject: [PATCH] use two spaces for yices files

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

diff --git a/home/vimrc b/home/vimrc
index f056e79..bad34be 100644
--- a/home/vimrc
+++ b/home/vimrc
@@ -155,6 +155,7 @@ if has('autocmd')
         au FileType ruby call TabTwo()
         au FileType nim call TabTwo()
         au BufRead,BufNewFile *.bt,*.1sc call TabFour()
+        au BufRead,BufNewFile *.ys call TabTwo()
         au FileType javascript,processing call TabTwo()
     augroup END