From: colepoirier <colepoirier@gmail.com>
Date: Tue, 9 Feb 2021 22:38:47 +0000 (-0800)
Subject: add missing newline at end of experiment/formal/.gitignore
X-Git-Tag: convert-csv-opcode-to-binary~252
X-Git-Url: https://git.libre-soc.org/?p=soc.git;a=commitdiff_plain;h=d647da4a3284c9411cbf378380c63c8c1148d505

add missing newline at end of experiment/formal/.gitignore
---

diff --git a/src/soc/experiment/formal/.gitignore b/src/soc/experiment/formal/.gitignore
index e7b8b111..92124868 100644
--- a/src/soc/experiment/formal/.gitignore
+++ b/src/soc/experiment/formal/.gitignore
@@ -1,3 +1,4 @@
 proof*/**
 *.il
 *.vcd
+