diff --git a/.gitignore b/.gitignore
index cade3bf40154058b6dd66c4d51dbe5be8337a235..e10916ad7151efbdf1ba8c4547ddacfaeca073c9 100644
--- a/.gitignore
+++ b/.gitignore
@@ -4,3 +4,4 @@
 *.fuzz
 *.log
 *_tla.txt
+*.dot