Update libcork

madeye · madeye · commit 38a3084b1f29 · 2017-01-24T20:36:17.000+08:00
diff --git a/libcork b/libcork
@@ -1 +1 @@
-Subproject commit 892a8846dcbed4ef068d8e3b642f1132eb08c85c
+Subproject commit 99e8033b91abf4e8161f660076e95ef3ba8eae03
