From 40464e4fe713abcc1b9ee68e44c88288e041e5d5 Mon Sep 17 00:00:00 2001
From: Arnaud Spiwack <arnaud@spiwack.net>
Date: Sat, 22 Jun 2019 00:55:01 +0200
Subject: [PATCH] style: fix a typo
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

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.
---
 src/tseitin/Tseitin_intf.ml | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

diff --git a/src/tseitin/Tseitin_intf.ml b/src/tseitin/Tseitin_intf.ml
index 6ead857f..99805c35 100644
--- a/src/tseitin/Tseitin_intf.ml
+++ b/src/tseitin/Tseitin_intf.ml
@@ -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