test: sctest: fix warnings

[model-checker.git] / .gitignore

diff --git a/.gitignore b/.gitignore
index d7ca89a59497416520a82aeecc1a99a0ce05a2a1..4acd010bd5ab045daccae219f1063c3cb33a1717 100644 (file)
--- a/.gitignore
+++ b/.gitignore
@@ -6,6 +6,7 @@
 *~
 *.dot
 .*.d
+*.pdf
 
 # files in this directory
 /tags