Updating latest

ENikS · ENikS · commit ded2ff7c6b86 · 2017-12-09T17:19:18.000-05:00
diff --git a/Abstractions b/Abstractions
@@ -1 +1 @@
-Subproject commit 9c8c61afa97d72948e492fd0c6f0b79cbf8a30ad
+Subproject commit 0480ee2ea8128aa99eb907505c2f215e104ff3b1
diff --git a/SpecificationTests b/SpecificationTests
@@ -1 +1 @@
-Subproject commit b14aee1abc61ad5e6e4da4cf9782175eebf7761b
+Subproject commit 94d27386f4265a92ed067401b7bdffb08d2048ae
