diff options
| author | Emilio Jesus Gallego Arias | 2020-03-15 16:41:56 -0400 |
|---|---|---|
| committer | Emilio Jesus Gallego Arias | 2020-03-25 21:35:43 -0400 |
| commit | 7e6b2c6311933f8ef947935f5d4b5897816ab3e4 (patch) | |
| tree | d79e3d7cbc24851164558aa8331b62cddff2eb93 /plugins/micromega/simplex.ml | |
| parent | bab3c8de77486b0cf022d8f8a19e94f588190b7c (diff) | |
[ocamlformat] Use doc-comments=before style.
IMHO it is a bit more logical, WDYT?
Diffstat (limited to 'plugins/micromega/simplex.ml')
| -rw-r--r-- | plugins/micromega/simplex.ml | 4 |
1 files changed, 2 insertions, 2 deletions
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 |