From 2b78aa38c2c75f99eaff3e3b1575eab3d5c76677 Mon Sep 17 00:00:00 2001
From: Gaëtan Gilbert
Date: Mon, 30 Mar 2020 19:02:21 +0200
Subject: ocamlformat: use whitelist instead of blacklist

Using disable=true in .ocamlformat and disable=false in sub
.ocamlformat works fine.

Note that disable=true must be after the `profile` setting otherwise
it gets reset
---
 plugins/micromega/.ocamlformat        | 1 +
 plugins/micromega/.ocamlformat-ignore | 1 +
 2 files changed, 2 insertions(+)
 create mode 100644 plugins/micromega/.ocamlformat
 create mode 100644 plugins/micromega/.ocamlformat-ignore

(limited to 'plugins')

diff --git a/plugins/micromega/.ocamlformat b/plugins/micromega/.ocamlformat
new file mode 100644
index 0000000000..a22a2ff88c
--- /dev/null
+++ b/plugins/micromega/.ocamlformat
@@ -0,0 +1 @@
+disable=false
diff --git a/plugins/micromega/.ocamlformat-ignore b/plugins/micromega/.ocamlformat-ignore
new file mode 100644
index 0000000000..157a987754
--- /dev/null
+++ b/plugins/micromega/.ocamlformat-ignore
@@ -0,0 +1 @@
+micromega.ml
-- 
cgit v1.2.3