From 734c8e8e401bbbdb4d0d2ba8e569e5db1daf4ec9 Mon Sep 17 00:00:00 2001
From: Thomas Arts <thomas.arts@robuster.software>
Date: Wed, 10 Apr 2019 15:44:53 +0200
Subject: [PATCH] ignore generated aefate file

---
 .gitignore | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/.gitignore b/.gitignore
index b43c201..b42f787 100644
--- a/.gitignore
+++ b/.gitignore
@@ -22,3 +22,5 @@ src/aeb_fate_pp.erl
 *.aes~
 doc
 cover
+aefate
+current_counterexample.eqc