From e997b3d3ea6b03404ce5d815699b809725152d2b Mon Sep 17 00:00:00 2001 From: Guillaume Bury Date: Thu, 24 Nov 2016 16:57:01 +0100 Subject: [PATCH] Fixed typos in iCNF doc --- src/languages/icnf/ast_iCNF.ml | 4 ++-- src/languages/icnf/iCNF.mli | 6 +++--- 2 files changed, 5 insertions(+), 5 deletions(-) diff --git a/src/languages/icnf/ast_iCNF.ml b/src/languages/icnf/ast_iCNF.ml index 1cf1884ae..279eba88d 100644 --- a/src/languages/icnf/ast_iCNF.ml +++ b/src/languages/icnf/ast_iCNF.ml @@ -27,10 +27,10 @@ end module type Statement = sig type t - (** The type of statements for dimacs. *) + (** The type of statements for iCNF. *) type term - (** The type of dimacs terms. *) + (** The type of iCNF terms. *) type location (** The type of locations. *) diff --git a/src/languages/icnf/iCNF.mli b/src/languages/icnf/iCNF.mli index 9c82feaa9..ef3666311 100644 --- a/src/languages/icnf/iCNF.mli +++ b/src/languages/icnf/iCNF.mli @@ -1,15 +1,15 @@ (* This file is free software, part of dolmen. See file "LICENSE" formore information *) -(** Dimacs language input *) +(** iCNF language input *) module type Term = Ast_iCNF.Term module type Statement = Ast_iCNF.Statement -(** Implementation requirement for the Dimacs format. *) +(** Implementation requirement for the iCNF format. *) module Make (L : ParseLocation.S) (T : Term with type location := L.t) (S : Statement with type location := L.t and type term := T.t) : Language_intf.S with type statement = S.t -(** Functor to generate a parser for the dimacs format. *) +(** Functor to generate a parser for the iCNF format. *)