From 127ccc0b15e3990c0ecc12fd6f3a7b00d7af6dd8 Mon Sep 17 00:00:00 2001
From: Amirali Esmaeili <esmailiamirali@gmail.com>
Date: Sat, 8 May 2021 05:25:23 +0430
Subject: [PATCH] Add local opam switch dir to gitignore

---
 .gitignore | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/.gitignore b/.gitignore
index 1ad746cf0..300542098 100644
--- a/.gitignore
+++ b/.gitignore
@@ -13,3 +13,5 @@ analysis/tests/.merlin
 *.cmx
 *.o
 *.install
+# opam local switch
+analysis/_opam