1 files changed, 3 insertions, 1 deletions

diff --git a/.gitignore b/.gitignore
index 6fabfc01..f9b542d7 100644
--- a/.gitignore
+++ b/.gitignore
@@ -67,4 +67,6 @@
 # MacOS metadata
 .DS_Store
 # Test generated data
-/test/clightgen/*.v
\ No newline at end of file
+/test/clightgen/*.v
+# Coq cache
+.lia.cache