1 files changed, 2 insertions, 0 deletions

diff --git a/.gitignore b/.gitignore
index e77655a..a2e9049 100644
--- a/.gitignore
+++ b/.gitignore
@@ -4,3 +4,5 @@
 /lake-packages/*
 .lake
 *.llbc
+/output
+*.thy~