X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Focaml%2Fcic_proof_checking%2FcicEnvironment.mli;h=22fd5d657e86a9b178acd182874d4a44fe3e0d52;hb=89262281b6e83bd2321150f81f1a0583645eb0c8;hp=b781a5c42fc4dfa6b53e6e955f9f98bfe6577ce4;hpb=ae326f646ef4c01b43d6da04201b427d1e175400;p=helm.git

diff --git a/helm/ocaml/cic_proof_checking/cicEnvironment.mli b/helm/ocaml/cic_proof_checking/cicEnvironment.mli
index b781a5c42..22fd5d657 100644
--- a/helm/ocaml/cic_proof_checking/cicEnvironment.mli
+++ b/helm/ocaml/cic_proof_checking/cicEnvironment.mli
@@ -30,7 +30,9 @@
 (*                Claudio Sacerdoti Coen <sacerdot@cs.unibo.it>               *)
 (*                                 24/01/2000                                 *)
 (*                                                                            *)
-(* This module implements a trival cache system (an hash-table) for cic       *)(* objects. Uses the getter (getter.ml) and the parser (cicParser.ml)         *)(*                                                                            *)
+(* This module implements a trival cache system (an hash-table) for cic       *)
+(* objects. Uses the getter (getter.ml) and the parser (cicParser.ml)         *)
+(*                                                                            *)
 (******************************************************************************)
 
 exception CircularDependency of string;;