simon/sidekick
1
0
Fork 0
mirror of https://github.com/c-cube/sidekick.git synced 2026-01-28 12:24:50 -05:00
Code Issues Projects Releases Packages Wiki Activity Actions

Forgot to update .ml when adding Arg to .mli

Browse source
This commit is contained in:
Guillaume Bury 2016-12-01 18:27:50 +01:00
parent cd632ad345
commit c53a81e54b
1 changed files with 2 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
src/solver/tseitin.ml
View file

@ -10,6 +10,8 @@
(* *) (* *)
(**************************************************************************) (**************************************************************************)
module type Arg = Tseitin_intf.Arg
module type S = Tseitin_intf.S module type S = Tseitin_intf.S
module Make (F : Tseitin_intf.Arg) = struct module Make (F : Tseitin_intf.Arg) = struct