From fc21cf96f80ccb7e6455c057987bb0ff4597c0bb Mon Sep 17 00:00:00 2001
From: Son Ho
Date: Sun, 13 Nov 2022 23:00:38 +0100
Subject: Make good progress on the Coq backend

---
 .gitignore | 11 +++++++++++
 1 file changed, 11 insertions(+)

(limited to '.gitignore')

diff --git a/.gitignore b/.gitignore
index c0bbbf28..d0a4be47 100644
--- a/.gitignore
+++ b/.gitignore
@@ -46,6 +46,17 @@ tests/fstar/hashmap/obj/
 tests/fstar/hashmap_on_disk/obj/
 tests/fstar/misc/obj/
 
+# Coq
+*.vo
+*.vok
+*.vos
+*.glob
+*.aux
+*.lia.cache
+*.d
+*Makefile.coq
+*CoqMakefile.conf
+
 # Misc
 /fstar-tests
 *~
-- 
cgit v1.2.3