diff --git a/.gitignore b/.gitignore index a33b0c32d..3ed7863c0 100644 --- a/.gitignore +++ b/.gitignore @@ -99,6 +99,7 @@ buck-out/ /infer/bin/infer-reportdiff /infer/bin/infer-run /infer/bin/InferCreateTraceViewLinks +/infer/bin/InferUnit /infer/man /infer/src/base/Version.ml