From d62563cf9b8ef29ce20e810a5b1da999122c7a2f Mon Sep 17 00:00:00 2001
From: Son Ho
Date: Thu, 20 Oct 2022 21:27:54 +0200
Subject: Update the .gitignore

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

diff --git a/.gitignore b/.gitignore
index a90aa1fc..8713e6e4 100644
--- a/.gitignore
+++ b/.gitignore
@@ -34,6 +34,10 @@ rust-tests/target/
 # F*
 .depend
 *.hints
+tests/betree/obj/
+tests/hashmap/obj/
+tests/hashmap_on_disk/obj/
+tests/misc/obj/
 
 # Misc
 /fstar-tests
-- 
cgit v1.2.3