diff --git a/.gitignore b/.gitignore
index 2fd8af440236cd4535382af9a2db4aa339e1354d..e7aa88954693a01fc397f26ff631945ed7f3951a 100644
--- a/.gitignore
+++ b/.gitignore
@@ -3,4 +3,5 @@ _build
 *~
 dune-workspace.afl
 monolith.opam
+input
 output