From: Jacob Lifshay <programmerjake@gmail.com>
Date: Fri, 2 Sep 2022 06:33:39 +0000 (-0700)
Subject: add formal_test_temp to .gitignore
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=7482893b4fbe510e6ab0669e9977684d1cfdcbef;p=openpower-isa.git

add formal_test_temp to .gitignore
---

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