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