simon/sidekick
1
0
Fork 0
mirror of https://github.com/c-cube/sidekick.git synced 2025-12-08 20:25:31 -05:00
Code Issues Projects Releases Packages Wiki Activity Actions

minor typos

Browse source
This commit is contained in:
Simon Cruanes 2016-11-21 14:47:42 +01:00
parent 38972d7fc6
commit 31659c5d73
1 changed files with 1 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
src/core/solver_types_intf.ml
View file

@ -140,7 +140,7 @@ module type S = sig
val add_atom : formula -> atom val add_atom : formula -> atom
(** Returns the atom associated with the given formula *) (** Returns the atom associated with the given formula *)
val make_boolean_var : formula -> var * Formula_intf.negated val make_boolean_var : formula -> var * Formula_intf.negated
(** Returns the variable linked with the given formula, and wether the atom associated with the formula (** Returns the variable linked with the given formula, and whether the atom associated with the formula
is [var.pa] or [var.na] *) is [var.pa] or [var.na] *)
val empty_clause : clause val empty_clause : clause