From 9f38e7a4671b31f66695a61d8d52f770f8348fb2 Mon Sep 17 00:00:00 2001
From: Don Garrett <dgarrett@acm.org>
Date: Tue, 29 Sep 2026 18:52:06 +0000
Subject: [PATCH] Ignore Apalache's output directory

Co-Authored-By: Claude Opus 5.5 (1M context) <noreply@anthropic.com>
Claude-Session: https://claude.ai/code/session_01PPQ14L3LikyefCMFBqEbKE
---
 .gitignore | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/.gitignore b/.gitignore
index 46559d1..71304fb 100644
--- a/.gitignore
+++ b/.gitignore
@@ -7,3 +7,6 @@ __pycache__/
 .ruff_cache/
 dist/
 nisse-dev.yaml
+
+# Apalache output (quint verify)
+_apalache-out/