diff --git a/.gitignore b/.gitignore
index b9f4b3a5c6b8c03e1492b00ee97a9b8cf8e42cb1..d2042e49cc95e6d6301d4ff7aa188c1e0daa7a8b 100644
--- a/.gitignore
+++ b/.gitignore
@@ -167,6 +167,7 @@ benchmarks/execution/ProB/stdlib
 /*.py
 **/Cargo.lock
 **/vendor/
+build_cpp/
 btypes_primitives/**/*.js
 benchmarks/model_checking/ProB/lib
 benchmarks/model_checking/ProB/stdlib