From 77bc72be146c86857fe5f7f412a44887240bf25c Mon Sep 17 00:00:00 2001
From: "Ian A. Mason" <iam@csl.sri.com>
Date: Wed, 1 Jul 2015 11:22:04 -0700
Subject: [PATCH] Added an ace mode, and put the SMT entry in the correct
 place, maybe.

---
 lib/linguist/languages.yml   | 37 ++++++++++++++++++------------------
 vendor/grammars/SMT.tmbundle |  2 +-
 2 files changed, 20 insertions(+), 19 deletions(-)

diff --git a/lib/linguist/languages.yml b/lib/linguist/languages.yml
index bd99600a..be8313e3 100644
--- a/lib/linguist/languages.yml
+++ b/lib/linguist/languages.yml
@@ -2919,6 +2919,25 @@ SCSS:
   extensions:
   - .scss
 
+SMT:
+  type: programming
+  extensions:
+  - .smt2
+  - .smt
+  interpreters:
+  - boolector
+  - cvc4
+  - mathsat5
+  - opensmt
+  - smtinterpol
+  - smt-rat
+  - stp
+  - verit
+  - yices2
+  - z3
+  tm_scope: source.smt
+  ace_mode: text
+
 SPARQL:
   type: data
   tm_scope: source.sparql
@@ -3135,24 +3154,6 @@ Smarty:
   ace_mode: smarty
   tm_scope: text.html.smarty
 
-SMT:
-  type: programming
-  extensions:
-  - .smt2
-  - .smt
-  interpreters:
-  - boolector
-  - cvc4
-  - mathsat5
-  - opensmt
-  - smtinterpol
-  - smt-rat
-  - stp
-  - verit
-  - yices2
-  - z3
-  tm_scope: source.smt
-
 SourcePawn:
   type: programming
   color: "#5c7611"
diff --git a/vendor/grammars/SMT.tmbundle b/vendor/grammars/SMT.tmbundle
index f50c6e5a..a4d498d4 160000
--- a/vendor/grammars/SMT.tmbundle
+++ b/vendor/grammars/SMT.tmbundle
@@ -1 +1 @@
-Subproject commit f50c6e5a7990ab71d857ab79375a6e4f76941778
+Subproject commit a4d498d4a211831cd6c37048b24f7379ac9cce4a