From: colepoirier <colepoirier@gmail.com>
Date: Tue, 9 Feb 2021 22:36:31 +0000 (-0800)
Subject: fix erroneous removal of proof* from experiment/formal/.gitignore, now
X-Git-Tag: convert-csv-opcode-to-binary~253
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=60bf6b645339f785b18b0a01d83f0cb42e111c98;p=soc.git

fix erroneous removal of proof* from experiment/formal/.gitignore, now
proof*/**
---

diff --git a/src/soc/experiment/formal/.gitignore b/src/soc/experiment/formal/.gitignore
index 98d683d1..e7b8b111 100644
--- a/src/soc/experiment/formal/.gitignore
+++ b/src/soc/experiment/formal/.gitignore
@@ -1,2 +1,3 @@
+proof*/**
 *.il
-*.vcd
\ No newline at end of file
+*.vcd