1 files changed, 0 insertions, 2 deletions

diff --git a/.gitignore b/.gitignore
index ebd6f84..11ee9ea 100644
--- a/.gitignore
+++ b/.gitignore
@@ -17,6 +17,4 @@ _minted-*/
 Clean System Files/
 dtmc
 
-__pycache__/
-
 *.drn