From 0df07365e82ba1f18a96ef07740fa54bade54c77 Mon Sep 17 00:00:00 2001
From: Dario Halilovic <dario.halilovic@epfl.ch>
Date: Wed, 16 Sep 2026 16:26:45 +0200
Subject: [PATCH] chore: add .camltac to .gitignore

---
 .gitignore | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

diff --git a/.gitignore b/.gitignore
index 420d0cc..e5f1de5 100644
--- a/.gitignore
+++ b/.gitignore
@@ -13,4 +13,7 @@
 *.cm*
 
 # Dune
-_build/
\ No newline at end of file
+_build/
+
+# Camltac
+.camltac
\ No newline at end of file