update Smtlib/ to latest revision

msakai · msakai · commit 16e2fe32c039 · 2016-05-30T23:31:45.000+09:00
diff --git a/Smtlib b/Smtlib
@@ -1 +1 @@
-Subproject commit e01a78bc33ada4bf29c2ae640a167a47c72c67f8
+Subproject commit 832042ea2beab8fa52f5590f7fab7628c536a660
