From 9fc7a31fe6f0f7adc291ea7f159c231010496d43 Mon Sep 17 00:00:00 2001 From: Akash Levy Date: Sun, 7 Jul 2024 15:47:57 -0700 Subject: [PATCH] Smallfix --- .gitignore | 5 ++++- verific | 2 +- 2 files changed, 5 insertions(+), 2 deletions(-) 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