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

Fix in doc comment

Browse source
This commit is contained in:
Guillaume Bury 2014-11-12 16:53:19 +01:00
parent b44c3c3559
commit aad20489cd
1 changed files with 1 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
sat/theory_intf.ml
View file

@ -43,7 +43,7 @@ module type S = sig
val current_level : unit -> level val current_level : unit -> level
(** Return the current level of the theory (either the empty/beginning state, or the (** Return the current level of the theory (either the empty/beginning state, or the
last level returned by the assume] function). *) last level returned by the [assume] function). *)
val assume : slice -> res val assume : slice -> res
(** Assume the formulas in the slice, possibly pushing new formulas to be propagated, (** Assume the formulas in the slice, possibly pushing new formulas to be propagated,