From 6eabb96abc40bfd162d35e1cd2e09e5593402c2f Mon Sep 17 00:00:00 2001
From: Ryota Kobayashi <ryota5884@icloud.com>
Date: Tue, 19 Mar 2024 11:18:03 +0900
Subject: [PATCH] update gitignore

---
 .gitignore | 1 +
 1 file changed, 1 insertion(+)

diff --git a/.gitignore b/.gitignore
index 05c41159..4a1cca45 100644
--- a/.gitignore
+++ b/.gitignore
@@ -27,3 +27,4 @@ paper/related_work.tex
 paper/semantics.tex
 paper/typesystem.tex
 paper/wf_rules.tex
+src/test/to_mochi.ml