From 7482893b4fbe510e6ab0669e9977684d1cfdcbef Mon Sep 17 00:00:00 2001
From: Jacob Lifshay <programmerjake@gmail.com>
Date: Thu, 1 Sep 2022 23:33:39 -0700
Subject: [PATCH] add formal_test_temp to .gitignore

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

diff --git a/.gitignore b/.gitignore
index ee28534d..1ab96e85 100644
--- a/.gitignore
+++ b/.gitignore
@@ -10,3 +10,4 @@ dist
 /jit_test.o
 /crtl*/
 /crtl*
+/formal_test_temp
-- 
2.30.2