From 250bfc0226f48d504b197933d1afa16e3701110b Mon Sep 17 00:00:00 2001
From: Phillip Stephens <antidote.crk@gmail.com>
Date: Wed, 25 Nov 2015 18:28:12 -0800
Subject: [PATCH] Update Mathlib

---
 specter/MathLib | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/specter/MathLib b/specter/MathLib
index dc5c903a0..a073e690c 160000
--- a/specter/MathLib
+++ b/specter/MathLib
@@ -1 +1 @@
-Subproject commit dc5c903a0dcabc57bdc7e83b3d037a2960e9bb73
+Subproject commit a073e690cda31911ade19a05f0358244b4a31151