simon/sidekick
1
0
Fork 0
mirror of https://github.com/c-cube/sidekick.git synced 2025-12-06 11:15:43 -05:00
Code Issues Projects Releases Packages Wiki Activity Actions

chore: disable some warning in Solver

Browse source
This commit is contained in:
Simon Cruanes 2018-08-18 16:39:38 -05:00
parent 2b2765c67f
commit 04eea28cfc
1 changed files with 2 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

4
src/smt/Solver.ml
View file

@ -3,14 +3,14 @@
(** {1 Main Solver} *) (** {1 Main Solver} *)
[@@@warning "-32"]
open Solver_types open Solver_types
let get_time : unit -> float = Sys.time let get_time : unit -> float = Sys.time
(** {2 The Main Solver} *) (** {2 The Main Solver} *)
type level = int
module Sat_solver = Sidekick_sat.Make(Theory_combine) module Sat_solver = Sidekick_sat.Make(Theory_combine)
let[@inline] clause_of_mclause (c:Sat_solver.clause): Lit.t IArray.t = let[@inline] clause_of_mclause (c:Sat_solver.clause): Lit.t IArray.t =