diff --git a/.gitignore b/.gitignore
index fb1ffff08..ad941d63a 100644
--- a/.gitignore
+++ b/.gitignore
@@ -58,4 +58,7 @@ __pycache__
 Brewfile.lock.json
 
 # Ignore backups
-*.bak
\ No newline at end of file
+*.bak
+
+# Ignore tmp files
+*.tmp
\ No newline at end of file
diff --git a/verific b/verific
index f0386edce..9087ffc7c 160000
--- a/verific
+++ b/verific
@@ -1 +1 @@
-Subproject commit f0386edcee51b40016cde365979276bba305b072
+Subproject commit 9087ffc7c49e45be388686d2633b04c88132255c