diff --git a/verific b/verific
index 4feaf1f92..87cb8cf50 160000
--- a/verific
+++ b/verific
@@ -1 +1 @@
-Subproject commit 4feaf1f923157af0ed064eab8e302647bd5fa1b7
+Subproject commit 87cb8cf50448c4d28a1b2d57bd4afc119b6439af