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 98d683d1d19e8f75f152999dce4ec04988cc2a24..e7b8b1117035e01255a178b94291bfddd9e71874 100644 (file)
--- 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