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

style: fix a typo

Browse source 
English doesn't allow “allows to” as a form (it needs to be “allows <object> to” or something like this).

A workaround is to use the phrase "make it possible to”, but in this case, I don't think it was warranted, so I simply used a more direct phrase.
This commit is contained in:
Arnaud Spiwack 2019-06-22 00:55:01 +02:00 • committed by Guillaume Bury
parent 9c78c6f7bb
commit 40464e4fe7
1 changed files with 1 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

3
src/tseitin/Tseitin_intf.ml
View file

@ -36,8 +36,7 @@ end
module type S = sig
(** CNF conversion
This modules allows to convert arbitrary boolean formulas
into CNF.
This modules converts arbitrary boolean formulas into CNF.
*)
type atom