From 0e4c4ea7286ef31ca0ee159a2af3e61f1b65232f Mon Sep 17 00:00:00 2001
From: JianHong Zhao <zhaojianhong96@gmail.com>
Date: Thu, 22 Aug 2024 14:38:55 +0800
Subject: [PATCH] Update .gitignore for MacOS and Pycharm (#4599)

Co-authored-by: Palina Tolmach <polina.tolmach@gmail.com>
---
 pyk/.gitignore | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/pyk/.gitignore b/pyk/.gitignore
index 5a5bd829a48..e8fd5033e06 100644
--- a/pyk/.gitignore
+++ b/pyk/.gitignore
@@ -10,3 +10,6 @@ __pycache__/
 
 .kprove*
 *.debug-log
+
+.idea/
+.DS_Store
\ No newline at end of file