api: Make checks header private. (#8283)

[cvc5.git] / .gitignore

diff --git a/.gitignore b/.gitignore
index 2e3ec74b81a0d8b708d957b51d8af00178b72d48..48eb6a877a78a590de7859413d39ac17d7889a51 100644 (file)
--- a/.gitignore
+++ b/.gitignore
@@ -12,5 +12,4 @@ generated/
 \#*\#
 *.swp
 /debug/
-/antlr-3.4
-deps/
+/deps/