From 8b8a3858f34782eeb489c43c758e8c8c1f75c108 Mon Sep 17 00:00:00 2001
From: Emilio Jesus Gallego Arias
Date: Fri, 13 Dec 2019 15:41:53 +0100
Subject: [micromega] Enable ocamlformat.

---
 plugins/micromega/simplex.mli | 5 ++---
 1 file changed, 2 insertions(+), 3 deletions(-)

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

diff --git a/plugins/micromega/simplex.mli b/plugins/micromega/simplex.mli
index cba8e94ea7..19bcce3590 100644
--- a/plugins/micromega/simplex.mli
+++ b/plugins/micromega/simplex.mli
@@ -10,9 +10,8 @@
 open Polynomial
 
 val optimise : Vect.t -> cstr list -> (Num.num option * Num.num option) option
-
 val find_point : cstr list -> Vect.t option
-
 val find_unsat_certificate : cstr list -> Vect.t option
 
-val integer_solver : (cstr * ProofFormat.prf_rule) list -> ProofFormat.proof option
+val integer_solver :
+  (cstr * ProofFormat.prf_rule) list -> ProofFormat.proof option
-- 
cgit v1.2.3