From f31101e483f25e53862f4394019cc250a583a7b6 Mon Sep 17 00:00:00 2001
From: Jacob Lifshay <programmerjake@gmail.com>
Date: Fri, 10 Dec 2021 13:32:20 -0800
Subject: [PATCH] add formal_test_temp to .gitignore

---
 .gitignore | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/.gitignore b/.gitignore
index d48dc7ff..3478b52c 100644
--- a/.gitignore
+++ b/.gitignore
@@ -10,7 +10,7 @@ Waveforms
 *.il
 **/*.gtkw
 .eggs
-
+formal_test_temp
 .vscode/*
 build
 gen
-- 
2.30.2