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/