Minor improvements

ENikS · ENikS · commit 9397f5e00b26 · 2019-01-21T18:58:17.000-05:00
diff --git a/Abstractions b/Abstractions
@@ -1 +1 @@
-Subproject commit 2adbf00333ad11e5314cc6c80aed519436b9f888
+Subproject commit fbc8a427ef552b12b724f436109c22a2f62bd408
diff --git a/SpecificationTests b/SpecificationTests
@@ -1 +1 @@
-Subproject commit 2e35cad98c00b2e125ef029296691f97bfb2819e
+Subproject commit 25c75ad20c8361ff03c0b83354ed51b91d493acb
