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