1 files changed, 2 insertions, 0 deletions
diff --git a/.gitignore b/.gitignore
index 42bf23b3..f5911e69 100644
--- a/.gitignore
+++ b/.gitignore
@@ -78,3 +78,5 @@ runtime/mppa_k1c/i64_udivmod.s
 runtime/mppa_k1c/i64_umod.s
 # Test generated data
 /test/clightgen/*.v
+# Coq cache
+.lia.cache