From fd5fb04f7d9bd1f80afc379a30f844a662dae4db Mon Sep 17 00:00:00 2001
From: Denis Kolegov <dnkolegov@gmail.com>
Date: Mon, 24 Jun 2024 20:33:27 +0200
Subject: [PATCH] fix gitignore

Signed-off-by: Denis Kolegov <dnkolegov@gmail.com>
---
 .gitignore | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/.gitignore b/.gitignore
index 8aef0499..5867a28c 100644
--- a/.gitignore
+++ b/.gitignore
@@ -12,3 +12,6 @@ logs/
 
 # Binaries generated in Docker
 node/tools/docker_binaries
+
+# Apalache files
+**/_apalache-out