From 8af9dbdcc27934deda35f6c8fbdecdfe869b09c5 Mon Sep 17 00:00:00 2001
From: Emilio Jesus Gallego Arias
Date: Wed, 4 Mar 2020 14:29:10 -0500
Subject: [micromega] Add numerical compatibility layer.

Only significant change is in gcd / lcm which now are typed in `Z.t`
---
 plugins/micromega/simplex.mli | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

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

diff --git a/plugins/micromega/simplex.mli b/plugins/micromega/simplex.mli
index ff672edafd..8edea2d4b2 100644
--- a/plugins/micromega/simplex.mli
+++ b/plugins/micromega/simplex.mli
@@ -7,6 +7,8 @@
 (*         *     GNU Lesser General Public License Version 2.1          *)
 (*         *     (see LICENSE file for the text of the license)         *)
 (************************************************************************)
+
+open NumCompat
 open Polynomial
 
 (** Profiling *)
@@ -23,7 +25,7 @@ val get_profile_info : unit -> profile_info
 
 (** Simplex interface *)
 
-val optimise : Vect.t -> cstr list -> (Num.num option * Num.num option) option
+val optimise : Vect.t -> cstr list -> (Q.t option * Q.t option) option
 val find_point : cstr list -> Vect.t option
 val find_unsat_certificate : cstr list -> Vect.t option
 
-- 
cgit v1.2.3