diff options
Diffstat (limited to '.ocamlformat-ignore')
| -rw-r--r-- | .ocamlformat-ignore | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/.ocamlformat-ignore b/.ocamlformat-ignore index af9d896319..b1f6597140 100644 --- a/.ocamlformat-ignore +++ b/.ocamlformat-ignore @@ -39,7 +39,6 @@ plugins/firstorder/* plugins/fourier/* plugins/funind/* plugins/ltac/* -plugins/micromega/* plugins/nsatz/* plugins/omega/* plugins/rtauto/* @@ -49,4 +48,6 @@ plugins/setoid_ring/* plugins/ssr/* plugins/ssrmatching/* plugins/syntax/* -# Enabled: none for now +# Enabled: micromega +# plugins/micromega/* +plugins/micromega/micromega.ml |