From 98ef4017eb1e8444a54418f25847b7923ee29332 Mon Sep 17 00:00:00 2001
From: Michael Nolan <mtnolan2640@gmail.com>
Date: Tue, 28 Jan 2020 11:56:34 -0500
Subject: [PATCH] Update gitignore in formal directories to ignore proof
 folders

---
 src/ieee754/fpmax/formal/.gitignore | 1 +
 src/ieee754/fsgnj/formal/.gitignore | 1 +
 2 files changed, 2 insertions(+)
 create mode 100644 src/ieee754/fpmax/formal/.gitignore
 create mode 100644 src/ieee754/fsgnj/formal/.gitignore

diff --git a/src/ieee754/fpmax/formal/.gitignore b/src/ieee754/fpmax/formal/.gitignore
new file mode 100644
index 00000000..e09c6d40
--- /dev/null
+++ b/src/ieee754/fpmax/formal/.gitignore
@@ -0,0 +1 @@
+proof*/**
diff --git a/src/ieee754/fsgnj/formal/.gitignore b/src/ieee754/fsgnj/formal/.gitignore
new file mode 100644
index 00000000..e09c6d40
--- /dev/null
+++ b/src/ieee754/fsgnj/formal/.gitignore
@@ -0,0 +1 @@
+proof*/**
-- 
2.30.2