From 7e6b2c6311933f8ef947935f5d4b5897816ab3e4 Mon Sep 17 00:00:00 2001
From: Emilio Jesus Gallego Arias
Date: Sun, 15 Mar 2020 16:41:56 -0400
Subject: [ocamlformat] Use doc-comments=before style.

IMHO it is a bit more logical, WDYT?
---
 plugins/micromega/simplex.ml | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'plugins/micromega/simplex.ml')

diff --git a/plugins/micromega/simplex.ml b/plugins/micromega/simplex.ml
index 702099a95d..eaa26ded62 100644
--- a/plugins/micromega/simplex.ml
+++ b/plugins/micromega/simplex.ml
@@ -62,9 +62,9 @@ let get_profile_info () =
 
 type iset = unit IMap.t
 
-type tableau = Vect.t IMap.t
 (** Mapping basic variables to their equation.
                                  All variables >= than a threshold rst are restricted.*)
+type tableau = Vect.t IMap.t
 
 module Restricted = struct
   type t =
@@ -366,9 +366,9 @@ let push_real (opt : bool) (nw : var) (v : Vect.t) (rst : Restricted.t)
         let v' = safe_find "push_real" nw t' in
         Unsat (Vect.set nw Q.one (Vect.set 0 Q.zero (Vect.mul Q.neg_one v'))) )
 
-open Mutils
 (** One complication is that equalities needs some pre-processing.
  *)
+open Mutils
 
 open Polynomial
 
-- 
cgit v1.2.3