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

Removed some warnings

Browse source
This commit is contained in:
Guillaume Bury 2014-11-03 18:39:47 +01:00
parent 588f7fb7ed
commit df58c57622
2 changed files with 0 additions and 3 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

1
sat/sat.ml
View file

@ -82,7 +82,6 @@ module Make(Dummy : sig end) = struct
let _i = ref 0 let _i = ref 0
type atom = Fsat.t type atom = Fsat.t
type state = SatSolver.t
let new_atom () = let new_atom () =
try try

2
sat/solver.ml
View file

@ -10,8 +10,6 @@
(* *) (* *)
(**************************************************************************) (**************************************************************************)
open Format
module Make (F : Formula_intf.S) module Make (F : Formula_intf.S)
(St : Solver_types.S with type formula = F.t) (St : Solver_types.S with type formula = F.t)
(Ex : Explanation.S with type atom = St.atom) (Ex : Explanation.S with type atom = St.atom)