Fixed typos in iCNF doc

Gbury · Nov 24, 2016 · e997b3d · e997b3d
1 parent d588bd7
commit e997b3d
Show file tree

Hide file tree

Showing 2 changed files with 5 additions and 5 deletions.
diff --git 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
@@ -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. *)